!7

p {
  File jdkLocation = userDir("jdk1.8.0_112"); // example
  showSourceCodeOfJDKClass(JTable.class, jdkLocation);
}

svoid showSourceCodeOfJDKClass(Class c, File jdkLocation) {
  File srcZip = new File(jdkLocation, "src.zip");
  if (!srcZip.exists()) fail(f2s(srcZip) + " not found");
  S path = classNameToJavaFile(c);
  S text = loadTextFileFromZip(srcZip, path);
  if (text == null) fail(path + " not found in " + f2s(srcZip));
  editJavaX(path, text);
}