if (peer != null) {
if (peer == null)
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 ();}