public void menuSelectionChanged(boolean changed) {  }
public void menuSelectionChanged(boolean changed) { if (changed) model.setArmed(true); }
	public void menuSelectionChanged(boolean changed) {		// TODO	} // menuSelectionChanged()