Thanks, Andrew; the file got moved in the source tree. I've fixed the link above. It's now:
https://github.com/jbossas/jboss-as/blob/master/controller/src/main/resources/schema/jboss_7_0.xsd