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>