fix build error due to errors in javadoc (latest Maven and latest JDK)