[jboss-as7-dev] 7.2.0.Final boot time NPE