void removeLast(boolean trimToSize){
  int i=records.size() - 1;
  UndoLogRecord r=records.remove(i);
  if (!r.isStored()) {
    memoryUndo--;
  }
  if (trimToSize && i > 1024 && (i & 1023) == 0) {
    records.trimToSize();
  }
}

void removeLast ( boolean trimToSize ) { int i = records . size ( ) - 1 ; UndoLogRecord r = records . remove ( i ) ; if ( ! r . isStored ( ) ) { memoryUndo -- ; } if ( trimToSize && i > 1024 && ( i & 1023 ) == 0 ) { records . trimToSize ( ) ; } }
remove the last record from the list of operations .
