commit cd2186eb11c3c3bfeedea792d6bcd336d17076f1
author Stefan Xenos <sxenos@gmail.com> Fri Jun 10 17:45:01 2016 -0700
committer Dani Megert <Daniel_Megert@ch.ibm.com> Sun Oct 02 10:43:22 2016 -0400
tree 7eecde8b051217063c5b8d4faae5d818a4d71d8c
parent ed21e9f2cfeffcee7cda40ecf79fe4b7592aa4ca

Bug 495817 - preference for disabling new index

Change-Id: I375a5d239bd4586e7d26e45ba1459a9e22f3c8ad
Signed-off-by: Stefan Xenos <sxenos@gmail.com>

bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml

diff --git a/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml b/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml
index 280d973..4502b2d 100644
--- a/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml
+++ b/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml
@@ -878,7 +878,7 @@
     <!-- Preference pages -->
 
     <context id="java_base_preference_page_context">
-        <description>On this page you can indicate your preferences for the general Java tooling settings.</description>
+        <description>On this page you can indicate your preferences for the general Java tooling settings.  Eclipse 4.7 contains an experimental new Java index which is enabled by default.  If you suspect an index-related bug, you can disable the new index from here.</description>
         <topic label="Java preferences" href="reference/preferences/ref-preferences-java.htm"/>
     </context>