svoid printLineContextAfterJavaCompilerError(Throwable error, S src) {
  // (line 980,col 1)
  int line = parseIntOpt(jextract("(line <int>,", str(error)));
  if (line != 0)
    printLineWithContext(src, line);
}