diff --git a/src/main/org/apache/tools/ant/launch/Launcher.java b/src/main/org/apache/tools/ant/launch/Launcher.java
index bfd02e4a4..73cc7ea30 100644
--- a/src/main/org/apache/tools/ant/launch/Launcher.java
+++ b/src/main/org/apache/tools/ant/launch/Launcher.java
@@ -114,9 +114,9 @@ public class Launcher {
      */
     private void addPath(String path, boolean getJars, List libPathURLs)
             throws MalformedURLException {
-        for (StringTokenizer tzr = new StringTokenizer(path, File.pathSeparator); 
-                tzr.hasMoreElements();) {
-            String elementName = tzr.nextToken();
+        StringTokenizer tokenizer = new StringTokenizer(path, File.pathSeparator);
+        while(tokenizer.hasMoreElements()) {
+            String elementName = tokenizer.nextToken();
             File element = new File(elementName);
             if (elementName.indexOf("%") != -1 && !element.exists()) {
                 continue;