public LayoutStorageAction(String saveString, String restoreString, Automaton a) {
		super(saveString, null);
		automaton = a;
		restoreAction = new AutomatonAction(restoreString, null) {
			public void actionPerformed(ActionEvent e) {
				graph.moveAutomatonStates();				
			}
		};
		restoreAction.setEnabled(false);			
	}