Yet more main javadoc