hotspot/.mx.jvmci/eclipse-settings/org.eclipse.jdt.core.prefs
author hseigel
Wed, 01 Mar 2017 08:00:02 -0500
changeset 46194 5596e6f63072
parent 34505 90f4fd15d739
permissions -rw-r--r--
8172307: Remove ununsed JVM API JVM_GetModuleByPackageName() Summary: Remove get_module_by_package_name() etc., and unneeded test. Reviewed-by: sspitsyn, gtriantafill

org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsNotVisibleRef=disabled