sS uploadSrcLibToFileServer(S srcLibID) {
  ret uploadToFileServer("srclib-" + psI(srcLibID) + ".jar", assertFileExists(loadSrcLib(srcLibID)));
}