public void setMutexProtocol(Mutex.Protocol value) {
        if ((mutexProtocol != value) && (value != null)) {
            mutexProtocol = value;
            sendNotification(new PropertyChangedEvent(this, PROPERTY_MUTEX_PROTOCOL));
        }