sS getJavaSrcNameOfSrcLib(S libID) {
  S s = firstLine(getServerTranspiledWithoutLibs(libID));
  ret dropPrefixOrNull("//FILENAME: ", s);
}