public static void time(ErrorMessages message,Timer time){
  if (Options.time) {
    String msg=ErrorMessages.get(message,time.toString());
    out.println(msg);
  }
}

public static void time ( ErrorMessages message , Timer time ) { if ( Options . time ) { String msg = ErrorMessages . get ( message , time . toString ( ) ) ; out . println ( msg ) ; } }
report time statistic data .
