public void setValue(grpFilterEnumeration value) { if (value != null) super.control.setValue(value.id); else super.control.setValue(grpFilterEnumeration.None.id); }