diff -r 29f58b0d4f78 -r bdec5d53e98c jdk/src/share/classes/java/util/StringTokenizer.java
--- a/jdk/src/share/classes/java/util/StringTokenizer.java	Fri Dec 20 09:58:03 2013 +0000
+++ b/jdk/src/share/classes/java/util/StringTokenizer.java	Fri Dec 20 13:38:13 2013 +0100
@@ -297,8 +297,8 @@
     }
 
     private boolean isDelimiter(int codePoint) {
-        for (int i = 0; i < delimiterCodePoints.length; i++) {
-            if (delimiterCodePoints[i] == codePoint) {
+        for (int delimiterCodePoint : delimiterCodePoints) {
+            if (delimiterCodePoint == codePoint) {
                 return true;
             }
         }