JBoss build-dist.xml and build.xml marked up