Allow compilation with JDK8
Merge pull request #199 from diorcety/jdk8

Fixes JavaDoc-related build errors on JDK1.8