public Repository(PrgState prg, String logFilePath)
 {
     this.prg         = prg;
     this.logFilePath = logFilePath;
 }