Yes, the Jetty IRC channel is
#jetty
and the server is
irc.codehaus.org/6667
.