106107108109110111112113
} protected synchronized void save() { // Only save one original state if (oldState == null) { oldState = new SystemState(); } }