Fix JDK 1.8 (javadoc is stricter).