public RadioButton add(String lbl, Coord c) {
	RadioButton rb = new RadioButton(c, parent, lbl);
	btns.add(rb);
	map.put(lbl, rb);
	rmap.put(rb, lbl);
	if(checked == null)
	    checked = rb;
	return(rb);
    }