Updates for jboss 7.1.1