Fix generation of javadoc on Java 6