static void transpileForServer(S progID) {
  S javax = loadSnippet(progID);
  print("Source: " + l(javax));
  
  time "Transpile" {
    transpileRaw_silent = false;
    S java = transpileRaw(javax);
    print("Transpiled: " + l(java));
    Map cachedIncludes = cast get(transpileRaw_trans, 'cachedIncludes);
  }

  new L<S> libs;
  java = findTranslators2(java, libs);
  print("Libs: " + joinWithComma(libs));

  S dehlibs = join(" ", libs);
  File bytecode = javaCompile_overInternalBot(java, dehlibs);
  print("Bytecode: " + f2s(assertNotNull(bytecode)));
  
  // Compiled OK, let's upload
  S result = postPageWithCredentials("http://tinybrain.de:8080/tb/upload-transpilation",
    id := psI(progID),
    transpilation := java,
    libs := dehlibs,
    computer := computerID());
    
  Matcher m = regexp("URL=/(dexcompile\\.php.*?)'", result);
  if (!m.find()) fail("Server said: " + result);
    
  S url = "http://tinybrain.de:8080/" + m.group(1);
  result = loadPage(url);
  if (!result.contains("SUCCESS"))
    fail("Server said: " + result);
    
  print("Transpiled & uploaded " + fsI(progID) + "!");
}