[jboss-dev] JBoss_5_0.xsd is wrong