static Set<S> namesOfLoadedProgramJars() {
  ret mapToHashSet fileName(programJarsLoadedInAllVMs());
}