/**
     * Set the Shutter with a String.
     */
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);
// 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);
// 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);
// 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);
}