public static void statistics(){
  StringBuffer line=new StringBuffer(errors + " error");
  if (errors != 1)   line.append("s");
  line.append(", " + warnings + " warning");
  if (warnings != 1)   line.append("s");
  line.append(".");
  err(line.toString());
}

public static void statistics ( ) { StringBuffer line = new StringBuffer ( errors + " error" ) ; if ( errors != 1 ) line . append ( "s" ) ; line . append ( ", " + warnings + " warning" ) ; if ( warnings != 1 ) line . append ( "s" ) ; line . append ( "." ) ; err ( line . toString ( ) ) ; }
print error and warning statistics
