jboss6.x

Cómo cambiar el número de puerto en jboss-7

Estoy usando jboss-7 y quiero cambiar el número de puerto de 8080 a 7001. ¿Qué archivo necesito cambiar?

Java RESTfull WebService: implementación de JAX-RS con bibliotecas Jersey 2.3.1

Estoy tratando de ejecutar una aplicación simple "Hallo World" Jersey 2.3.1 REST service en JBoss jboss-eap-6.1 AS. En la web ... //super(HelloWorldResource.class); } } Alguien tiene alguna idea para solucionarlo? gracias de antemano, Roberto