public void redo(){
//        EDebug.print("I am mucking with that data structure.");
        if (myBackDeck.size() == 0) return;
//        EDebug.print("Back deck is not empty.");
//
        myDeck.push((Automaton)myMaster.clone()); //push on head

        if (myMaster instanceof TuringMachine)
            TuringMachine.become((TuringMachine)myMaster, (TuringMachine)myBackDeck.pop()); //casting to the high heavens
        else
            Automaton.become(myMaster, myBackDeck.pop());

		myMaster.getEnvironmentFrame().repaint();

    }