--- build/eclipse-4.2.0-I20120608-1400-src/plugins/org.eclipse.help.base/src/org/eclipse/help/internal/search/WordTokenStream.java.sav	2012-06-27 16:52:22.000000000 +0300
+++ build/eclipse-4.2.0-I20120608-1400-src/plugins/org.eclipse.help.base/src/org/eclipse/help/internal/search/WordTokenStream.java	2012-07-05 12:45:58.051494535 +0300
@@ -95,4 +95,8 @@ public final class WordTokenStream exten
 		return tokens.get(token++);
 
 	}
+	
+	public boolean incrementToken() {
+		return false;
+	}
 }