Yes, all moved to the JipiJapa project.  :)  https://github.com/jipijapa/jipijapa/tree/master/hibernate4_3/src/main/java/org/jboss/as/jpa/hibernate4/management + https://github.com/jipijapa/jipijapa/tree/master/hibernate4_1/src/main/java/org/jboss/as/jpa/hibernate4/management.