some javadoc improvements to make it java8-compliant