private String format_std(JCDiagnostic d) {
DEBUG.P(this,"format_std(1)");
//DEBUG.P("d="+d);//这会引起无限调用,引起JCDiagnostic.toString()==>format==>format_std
DiagnosticSource source = d.getDiagnosticSource();
DiagnosticType type = d.getType();
int position = d.getIntPosition();
String format = noPosFormat;
if (source != null) {