### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: compiler/org/eclipse/jdt/core/compiler/CharOperation.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/compiler/org/eclipse/jdt/core/compiler/CharOperation.java,v
retrieving revision 1.74
diff -u -r1.74 CharOperation.java
--- compiler/org/eclipse/jdt/core/compiler/CharOperation.java	17 May 2006 16:30:19 -0000	1.74
+++ compiler/org/eclipse/jdt/core/compiler/CharOperation.java	6 Oct 2006 14:57:38 -0000
@@ -2862,13 +2862,11 @@
 
 	if (!equals(toBeReplaced, replacementChars)) {
 
-		next : for (int i = 0; i < max; i++) {
-			int j = 0;
-			while (j < replacedLength) {
-				if (i + j == max)
-					continue next;
-				if (array[i + j] != toBeReplaced[j++])
-					continue next;
+		next : for (int i = 0; i < max;) {
+			int index = indexOf(toBeReplaced, array, true, i);
+			if (index == -1) {
+				i++;
+				continue next;
 			}
 			if (occurrenceCount == starts.length) {
 				System.arraycopy(
@@ -2878,7 +2876,8 @@
 					0,
 					occurrenceCount);
 			}
-			starts[occurrenceCount++] = i;
+			starts[occurrenceCount++] = index;
+			i = index + replacedLength;
 		}
 	}
 	if (occurrenceCount == 0)