Update to use the jboss-as PR