---

ClassPath.java

package gov.nasa.arc.ase.jpf.jvm;

import java.util.StringTokenizer;
import java.io.File;

public class ClassPath {
  private static String[] classPath;
  
  static {
    StringTokenizer st = new StringTokenizer(System.getProperty("java.class.path"), File.pathSeparator);
    classPath = new String[st.countTokens()];
    for(int i = 0; st.hasMoreTokens(); i++)
      classPath[i] = st.nextToken();
  }

  private ClassPath() {
  }  
  public static String get(int index) {
    return classPath[index];
  }  
  public static int length() {
    return classPath.length;
  }  
}

---