sS sourceCodeOfJDKClass(Class c) {
  ret sourceCodeOfJDKClass(c.getName());
}

sS sourceCodeOfJDKClass(S className) {
  ret loadTextFileFromZip(jdkSrcZip(), classNameToJavaFile(className));
}