I suspect the developers may have been busy with other work and neglected this. However, if you are willing you should be able to build JBoss and the Jetty plug-in from the source distribution.
Hope that helps answer your question. Also, you can download the latest Jetty and build the Jetty plug-in from the Jetty source.
Seems that no developers have taken notice of this. Please make the build!
I see the build was finally made on Dec 30. Thanks!
Where did you get the build? It is not on the jboss site as a downloadable package, did you have to go into sourceforge for it?
Yes. Go to the SourceForge site.
The best way to find the jetty sar is the jetty sourceforge download site.
They are now at the jboss-3.2-jetty-4.2.15 package when the jboss download is bundled with jetty-4.2.14.
Just download the sar and replace the one in the deploy directory.
For myself I hugely prefer jetty to tomcat for its easy configuration and I am a bit disappointed by the fact that jboss seems to be deprecating support for it.