(from juha:)
Q: How do I disable Jetty in my JBoss 3.x distribution?
A: Remove the jetty-plugin.sar from your server's deploy directory. Altenatively, if you only want to change the port number Jetty is responding to, open the jetty-plugin.sar file (it is in the zip format) and edit the jboss-service.xml file where you can find the MBean entries, including the HTTP socket listener's port number.
Thanks Juha;)