My service_mapping.xml contains the following:

<java-xml-type-mapping>
<java-type>int</java-type>
<root-type-qname xmlns:rtq="http://www.w3.org/2001/XMLSchema">rtq:int</root-type-qname>
<qname-scope>simpleType</qname-scope>
</java-xml-type-mapping>

That makes JBoss fail to deploy at all, with this error:

16:32:31,151 ERROR [WSDDService] Unable to deploy typemapping:

int
java.lang.ClassNotFoundException: No ClassLoaders found for: int
at org.jboss.mx.loading.LoadMgr3.beginLoadTask(LoadMgr3.java:292)
at org.jboss.mx.loading.RepositoryClassLoader.loadClassImpl(RepositoryClassLoader.java:475)
at org.jboss.mx.loading.RepositoryClassLoader.loadClass(RepositoryClassLoader.java:377)
at java.lang.ClassLoader.loadClass(ClassLoader.java:251)
at java.lang.ClassLoader.loadClassInternal(ClassLoader.java:319)
at java.lang.Class.forName0(Native Method)
at java.lang.Class.forName(Class.java:164)
at org.jboss.axis.utils.ClassUtils$2.run(ClassUtils.java:216)
at java.security.AccessController.doPrivileged(Native Method)
at org.jboss.axis.utils.ClassUtils.loadClass(ClassUtils.java:179)
at org.jboss.axis.utils.ClassUtils.forName(ClassUtils.java:120)
at org.jboss.axis.deployment.wsdd.WSDDTypeMapping.getLanguageSpecificType(WSDDTypeMapping.java:221)
at org.jboss.axis.deployment.wsdd.WSDDService.deployTypeMapping(WSDDService.java:609)
at org.jboss.axis.deployment.wsdd.WSDDService.initTMR(WSDDService.java:294)
at org.jboss.axis.deployment.wsdd.WSDDService.<init>(WSDDService.java:272)
at org.jboss.axis.deployment.wsdd.WSDDDeployment.<init>(WSDDDeployment.java:255)
at org.jboss.axis.deployment.wsdd.WSDDDocument.<init>(WSDDDocument.java:120)
at org.jboss.axis.utils.Admin.processWSDD(Admin.java:153)
...

I've successfully deployed this type of service on several other application servers, but only JBoss fails.