private void touchLastCorpusLoadTime(){
  this.lastCorpusLoadTime=System.currentTimeMillis();
}

private void touchLastCorpusLoadTime ( ) { this . lastCorpusLoadTime = System . currentTimeMillis ( ) ; }
sets lastcorpusloadtime to system . currenttimemillis ( ) .
