fix for javadoc bug with java 1.8