exceptionTable = null;
   private void flush() {	if (systemGC != null && !sawCurrentTimeMillis) {		bugReporter.reportBug(systemGC);	}	sawCurrentTimeMillis = false;	systemGC = null;	alreadyReported.clear();   }