Changes to EditableAutomaton.