Fix javadoc build in jenkins with jdk6