Method rewind

src/main/java/jace/state/StateManager.java:417–432

(int numStates)

    }

    public void rewind(int numStates) {
        boolean resume = computer.pause();
        State state = alphaState.tail;
        while (numStates > 0 && state.previousState != null) {
            state = state.previousState;
            numStates--;
        }
        state.apply();
        alphaState.tail = state;
        state.nextState = null;
        Video.forceRefresh();
        System.gc();
        if (resume) {
            computer.resume();
        }
    }
}