473                 StringWriter sw = new StringWriter();

   473                 StringWriter sw = new StringWriter();

   474                 PrintWriter pw = new PrintWriter(sw);

   474                 PrintWriter pw = new PrintWriter(sw);

   475                 t.printStackTrace(pw);

   475                 t.printStackTrace(pw);

   476                 pw.close();

   476                 pw.close();

   477                 diagnosticListener.report(createDiagnostic("err.crash", t.toString(), sw.toString()));

   477                 diagnosticListener.report(createDiagnostic("err.crash", t.toString(), sw.toString()));

   478             }

   479             }

   479         }

   480         }

   480 

   481 

   481         return ok;

   482         return ok;

   482     }

   483     }