remset.flushLocal(); while (!traceRemset.isEmpty()) { traceRemset.pop();
while (!remset.isEmpty()) { remset.pop();
  protected void flushRememberedSets() {    logMessage(5, "clearing remset");    remset.flushLocal();    while (!traceRemset.isEmpty()) {      traceRemset.pop();    }    logMessage(5, "clearing array remset");    while (!arrayRemset.isEmpty()) {      arrayRemset.pop1();      arrayRemset.pop2();    }  }