Fix failing Javadoc with JDK8