Javadoc fixups for Jetty 7