Fix javadoc build in jenkins with jdk6
Merge pull request #196 from objectiser/fixjdocs

Fix javadoc build in jenkins with jdk6