static Class<?> hotwire_overBot(String progID) ctex {

  S compilerBot = "Compiler Bot with caching!";

  startBot(compilerBot, "#1002203");

  S ss = "please compile this javax snippet: *";

  print("Sending to compiler bot: " + ss);

  S s = sendToLocalBot_cached(compilerBot, ss, progID);

  new Matches m;

  print(s);

  assertTrue("Compiler Bot response: " + s, match("ok, *", s, m));

  S jarPath = m.unq(0);

  File jar = new File(jarPath);

  assertTrue(jar.getAbsolutePath(), jar.isFile());

  // collect urls (program + libraries)

  L<URL> urls = litlist(jar.toURI().toURL());

  S dehlibs = unnull(loadTextFileFromZip(jar, "libraries"));

  Matcher matcher = Pattern.compile("\\d+").matcher(dehlibs);

  while (matcher.find()) {

    S libID = matcher.group();

    urls.add(loadLibrary(libID).toURI().toURL());

  }

  // make class loader

  URLClassLoader classLoader = new URLClassLoader(urls.toArray(new URL[l(urls)]));

  // load & return main class

  Class<?> theClass = classLoader.loadClass("main");

  Class j = getJavaX();

  S src = loadTextFileFromZip(jar, "main.java");

  call(j, "registerSourceCode", theClass, src);

  synchronized(j) { // hopefully this goes well...

    call(j, "setVars", theClass, progID);

    callOpt(j, "addInstance", progID, theClass);

  }

  hotwire_copyOver(theClass);

  return theClass;

}