package java.util;

public class StringTokenizer implements Enumerator {
  private final String in;
  private String token;
  private boolean includeDelimiters;
}

@@ -65,10 +65,11 @@
 erat
-or
+ion
  %7B%0A 
@@ -115,50 +115,1950 @@
 ing 
-token;%0A  private boolean includeDelimiters;
+delimiters;%0A  private final boolean includeDelimiters;%0A  private int position;%0A%0A  public StringTokenizer(String in, String delimiters,%0A                         boolean includeDelimiters)%0A  %7B%0A    this.in = in;%0A    this.delimiters = delimiters;%0A    this.includeDelimiters = includeDelimiters;%0A  %7D%0A%0A  public StringTokenizer(String in, String delimiters) %7B%0A    this(in, delimiters, false);%0A  %7D%0A%0A  public StringTokenizer(String in) %7B%0A    this(in, %22 %5Ct%5Cr%5Cn%5Cf%22);%0A  %7D%0A%0A  private boolean isDelimiter(char c) %7B%0A    return delimiters.indexOf(c) %3E= 0;%0A  %7D%0A%0A  public int countTokens() %7B%0A    int count = 0;%0A    boolean sawNonDelimiter = false;%0A    for (int i = position; i %3C in.length(); ++i) %7B%0A      if (isDelimiter(in.charAt(i))) %7B%0A        if (includeDelimiters %7C%7C sawNonDelimiter) %7B%0A          ++ count;%0A        %7D%0A        sawNonDelimiter = false;%0A      %7D else %7B%0A        sawNonDelimiter = true;%0A      %7D%0A    %7D%0A%0A    if (sawNonDelimiter) %7B%0A      ++ count;%0A    %7D%0A%0A    return count;%0A  %7D%0A%0A  public boolean hasMoreTokens() %7B%0A    for (int i = position; i %3C in.length(); ++i) %7B%0A      if (isDelimiter(in.charAt(i))) %7B%0A        if (includeDelimiters) %7B%0A          return true;%0A        %7D%0A      %7D else %7B%0A        position = i;%0A        return true;%0A      %7D%0A    %7D%0A    return false;%0A  %7D%0A%0A  public String nextToken() %7B%0A    for (int i = position; i %3C in.length(); ++i) %7B%0A      if (isDelimiter(in.charAt(i))) %7B%0A        if (includeDelimiters) %7B%0A          return in.substring(i, i + 1);%0A        %7D%0A      %7D else %7B%0A        position = i;%0A        while (position %3C in.length() && ! isDelimiter(in.charAt(i))) %7B%0A          ++ position;%0A        %7D%0A        return in.substring(i, position);%0A      %7D%0A    %7D%0A    throw new NoSuchElementException();%0A  %7D%0A%0A  public String nextToken(String delimiters) %7B%0A    this.delimiters = delimiters;%0A    return nextToken();%0A  %7D%0A%0A  public boolean hasMoreElements() %7B%0A    return hasMoreTokens();%0A  %7D%0A%0A  public Object nextElement() %7B%0A    return nextToken();%0A  %7D%0A
 %0A%7D%0A

implement StringTokenizer