bug fix: javadoc broken with jdk 8