| commit | 9dcda57a19f90abbddaf2f867fb5415ebc3e0232 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Mar 25 22:30:44 2017 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Mar 25 22:30:44 2017 +0100 |
| tree | 810a25e4f58e922d94787d424d1b1b8e61f6bbdd | |
| parent | a6fb2ad7add1e04a02b39d1339885108c89d8aa4 [diff] |
Disable new JDT index until issues have been sorted out - correcting the mistake in previous commit
diff --git a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/java/JavaIndex.java b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/java/JavaIndex.java index adc2310..157324b 100644 --- a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/java/JavaIndex.java +++ b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/java/JavaIndex.java
@@ -236,7 +236,7 @@ public static boolean isEnabled() { //{ObjectTeams: disable new index until performance and deadlock issues have been sorted out: - return true; + return false; /* orig: IPreferencesService preferenceService = Platform.getPreferencesService(); if (preferenceService == null) {