static cached TreeSet<S> allJDKSourceFileNames() {
  File srcZip = jdkSrcZip();
  if (!srcZip.exists()) null;
  ret new TreeSet(listZip(srcZip));
}