<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ei7tg093m4dvt9o9nhgv48iiqi, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

p {
  File jdkLocation = userDir("jdk1.8.0_112"); // example
  showSourceCodeOfJDKClass(JTable, 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.getName());
  S text = loadTextFileFromZip(srcZip, path);
  if (text == null) fail(path + " not found in " + f2s(srcZip));
  showText(path, path);
}