# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1441706151 -7200
# Node ID 952d4d634a4251e2c873bda403446ae051d50ad9
# Parent  99dc9846632117f76591072d247d39df7b04f52a
added org.eclipse.jdt.core.prefs

diff -r 99dc98466321 -r 952d4d634a42 mx.jvmci/eclipse-settings/org.eclipse.jdt.core.prefs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mx.jvmci/eclipse-settings/org.eclipse.jdt.core.prefs	Tue Sep 08 11:55:51 2015 +0200
@@ -0,0 +1,1 @@
+org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsNotVisibleRef=disabled