// returns (jar, transpiled src)
static Pair<File, S> compileSnippetThroughServer(S progID) {
  S transpiledSrc = getServerTranspiled2(progID);
  S md5 = md5(transpiledSrc + "\n" + progID);
  File jar = CompilerBot.getJarFile(md5);
  if (jar == null || jar.length() <= 22) {
    byte[] jarData = loadBinaryPage("http://www.botcompany.de/jar/" + psI(progID) + "?md5=" + md5(transpiledSrc));
    if (!isJAR(jarData)) {
      print(bytesToHex(takeFirstOfByteArray(8, jarData)));
      print("fallback to CompilerBot: " + fromUtf8(takeFirstOfByteArray(80, jarData)));
      ret CompilerBot.compileSnippet2(progID);
    }
    saveBinaryFile(jar, jarData);
  }
  ret pair(jar, transpiledSrc);
}