public synchronized void removeActionListener(ActionListener listener) {
removeActionListener(ActionListener listener) {
	public synchronized void removeActionListener(ActionListener listener) {		action_listeners = AWTEventMulticaster.remove(action_listeners, listener);	}