<!ELEMENT JAVATYPEMAPPING(MAPPINGFRAGMENT| MAPPINGFRAGMENT| MAPPINGFRAGMENT| MAPPINGFRAGMENT| MAPPINGFRAGMENT| MAPPINGFRAGMENT| MAPPINGFRAGMENT)*>