public AutomatonPane initAutomatonPane() {
		AutomatonPane apane = new AutomatonPane(automatonDrawer);
		gui.SuperMouseAdapter a = new ArrowMinimizeTool(apane, automatonDrawer);
		apane.addMouseListener(a);
		apane.addMouseMotionListener(a);
		return apane;
	}