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