public void progress(Progress pgr){
  logger.log(new ProgressLogRecord(Level.INFO,pgr));
}

public void progress ( Progress pgr ) { logger . log ( new ProgressLogRecord ( Level . INFO , pgr ) ) ; }
log a progress object .
