public void clearBugs(){
  map.clear();
  hashes.clear();
  lastBug=null;
  lastSourceLine=null;
}

public void clearBugs ( ) { map . clear ( ) ; hashes . clear ( ) ; lastBug = null ; lastSourceLine = null ; }
clear all accumulated bugs without reporting them
