Added fix to make Javadocs work with Java 8