Update jboss-as-webservices_1_2.xsd

manually add edits git did not merge and git does not recognize as different.