}
@Override
// org.dmd.dms.util.GenUtility.dumpSVType(GenUtility.java:2010)
public RequestOptionEnum set(Object v) throws DmcValueException {
RequestOptionEnum rc = typeCheck(v);
// We only return a value if the value actually changed. This supports
// the applyModifier() mechanism on DmcObject where we only return true
// if something changed as a result of the modifier
if (value == null)
value = rc;