Don't fail due to javadoc error (JDK 8)