Change allocate-jboss-ports to work in Jenkins