Relaxed javadoc rules to make them work under Java 1.8.