log.trace("Have DC referral " + dr);
        }

        if (dr != null && domain.equals(dr.getServer()) && root.equals(dr.getShare())) {
            // If we do cache these we never get to the properly cached
            // standalone referral we might have.
            log.warn("Dropping self-referential referral " + dr);
            dr = null;
        }
        return dr;
    }

    /**

    Library.  A suitable mechanism is one that (1) uses at run time a
    copy of the library already present on the user's computer system,
    rather than copying library functions into the executable, and (2)
    will operate properly with a modified version of the library, if
    the user installs one, as long as the modified version is
    interface-compatible with the version that the work was made with.

*/\n      }\n\n      @if $is-css-var {\n        .#{$property-class + $infix + $property-class-modifier} {\n          --#{$prefix}#{$css-variable-name}: #{$value};\n        }\n\n        @each $pseudo in $state {\n          .#{$property-class + $infix + $property-class-modifier}-#{$pseudo}:#{$pseudo} {\n            --#{$prefix}#{$css-variable-name}: #{$value};\n          }\n        }\n      } @else {\n        .#{$property-class + $infix + $property-class-modifier} {\n          @each $property in $properties...

     */
    @Override
    protected void finalize() throws Throwable {
        try {
            if (isConnected() && this.usageCount.get() != 0) {
                log.warn("Session was not properly released, performing emergency cleanup: " + this);
                // Perform emergency cleanup to prevent memory leaks
                emergencyCleanup();
            }
        } catch (Exception e) {

box-shadow($btn-box-shadow, 0 0 0 $btn-focus-width rgba(mix(color-yiq($background), $border, 15%), .5));\n    } @else {\n      // Avoid using mixin so we can pass custom focus shadow properly\n      box-shadow: 0 0 0 $btn-focus-width rgba(mix(color-yiq($background), $border, 15%), .5);\n    }\n  }\n\n  // Disabled comes first so active can properly restyle\n  &.disabled,\n  &:disabled {\n    color: color-yiq($background);\n    background-color: $background;\n    border-color: $border;\n    // Remove CSS gradients...

     */

    public static void list(final PrintStream out) throws IOException {
        prp.list(out);
    }

    /**
     * Add a property.
     *
     * @param key the property key
     * @param value the property value
     * @return the previous value of the property, or null if it did not have one
     */

    public static Object setProperty(final String key, final String value) {

        }
    }

    @Nested
    @DisplayName("Property Access Tests")
    class PropertyAccessTests {

        @BeforeEach
        void setup() {
            testBlock = new TestServerMessageBlock(mockConfig);
        }

        @Test
        @DisplayName("Test command property")
        void testCommandProperty() {
            testBlock.setCommand(0x42);

         * end up performing IO with. If the server hosting the
         * actual files has a smaller maxBufSize this could be
         * incorrect. To handle this properly it is necessary
         * to redirect the tree to the target server first before
         * establishing buffer size. These exists() calls facilitate
         * that.
         */
        resolveDfs(null);

            return null;
        }
    }

    /**
     * Retrieves an integer value from system properties with a default fallback.
     *
     * @param key the property key to look up
     * @param defaultValue the default value if the property is not found or invalid
     * @return the integer value or default value
     */
    protected Integer getDefaultInteger(final String key, final Integer defaultValue) {

     * <pre>
     * message:
     * </pre>
     * @param property The property name for the message. (NotNull)
     * @return this. (NotNull)
     */
    public FessMessages addErrorsFrontHeader(String property) {
        assertPropertyNotNull(property);
        add(property, new UserMessage(ERRORS_front_header));
        return this;
    }

    /**