static L<File> deletableProgramJars() {
  Set<S> names = namesOfLoadedProgramJars();
  ret [File f : filesInDirs(javaxCachesDir("Compilations"), javaxCachesDir(#1001638))
    | hasExtension(f, ".jar") && !names.contains(fileName(f))];
}