JBoss documentation wrong - missing datasource attributes

Our JBoss docs are wrong. They list:

<datasource name="defaultDS"
helper-class="org.ofbiz.core.entity.GenericHelperDAO"
field-type-name="mysql" check-on-start="true"
add-missing-on-start="true">
<jndi-jdbc jndi-server-name="default" jndi-name="java:/MysqlDS" />
</datasource>

There are a couple of extra attributes in later versions of JIRA. It should be:

<datasource name="defaultDS" field-type-name="mysql"
helper-class="org.ofbiz.core.entity.GenericHelperDAO"
check-on-start="true" use-foreign-keys="false"
use-foreign-key-indices="false"
check-fks-on-start="false"
check-fk-indices-on-start="false"
add-missing-on-start="true">
<jndi-jdbc jndi-server-name="default" jndi-name="java:MysqlDS"/>
</datasource>