static LS hotwire_libraryIDsFromJar(File jar) {
  S dehlibs = unnull(loadTextFileFromZip(jar, "libraries"));
  ret regexpExtractAll("\\d+", dehlibs);
}