[jboss-as7-dev] Pull request processing hiccups fixed