private String[] getClassPath() {
      java.util.Vector x = new java.util.Vector();
      String classPath = System.getProperty("java.class.path");
      String s = "";
      for (int i = 0; i < classPath.length(); i++) {
         if (classPath.charAt(i) == ';') {
            x.add(s);
            s = "";
         } else {
            s += classPath.charAt(i);
         }
      }
      if (!s.equals("")) x.add(s);
      String javaHome = System.getProperty("java.home");
      if (javaHome != null) x.add(javaHome + File.separatorChar + "lib" + File.separatorChar + "rt.jar");
      String[] retVal = new String[x.size()];
      x.copyInto(retVal);
      return retVal;
   }