/** Create a path value from a list of directories and jar files. */
 String createPath(File... files) {
   StringBuilder sb = new StringBuilder();
   for (File f : files) {
     if (sb.length() > 0) sb.append(File.pathSeparatorChar);
     sb.append(f.getPath());
   }
   return sb.toString();
 }