Change config for Jboss 7.1.3