public synchronized void addNotify() { if (peer != null) {
addNotify() { if (peer != null) {
	public synchronized void addNotify() {		if (peer != null) {			// This choice of toolkit seems unsatisfying, but I'm not sure			// what else to do.			peer = getToolkit().createCheckboxMenuItem(this);		}		super.addNotify();	}