private void _setShutter(String name) {
        Shutter oldValue = getShutter();
        Shutter shutter = Shutter.getShutter(name, oldValue);
        // XXX: Fix for older XML files saved with wrong shutter value
        if (shutter == Shutter.OPEN && _lamps.size() == 1) {
            Lamp lamp = _lamps.iterator().next();
            if (lamp != Lamp.IR_GREY_BODY_HIGH && lamp != Lamp.IR_GREY_BODY_LOW) {
                shutter = Shutter.CLOSED;
            }
        }
        setShutter(shutter);
    }
private void _setShutter(String name) {
        Shutter oldValue = getShutter();
        Shutter shutter = Shutter.getShutter(name, oldValue);
       
        if (shutter == Shutter.OPEN && _lamps.size() == 1) {
            Lamp lamp = _lamps.iterator().next();
            if (lamp != Lamp.IR_GREY_BODY_HIGH && lamp != Lamp.IR_GREY_BODY_LOW) {
                shutter = Shutter.CLOSED;
            }
        }
        setShutter(shutter);
    }
private void _setshutter(string name) { shutter oldvalue = getshutter(); shutter shutter = shutter.getshutter(name, oldvalue); if (shutter == shutter.open && _lamps.size() == 1) { lamp lamp = _lamps.iterator().next(); if (lamp != lamp.ir_grey_body_high && lamp != lamp.ir_grey_body_low) { shutter = shutter.closed; } } setshutter(shutter); }