This should be translated with a navbar, and should have the "Generated by javadoc blah" signature.