assertFalse(a.equals("not-an-auth"));
    }

    @Test
    @DisplayName("isAnonymous: depends on subject presence and super")
    void isAnonymous_behaviour() {
        Kerb5Authenticator anon = new Kerb5Authenticator((Subject) null);
        assertTrue(anon.isAnonymous(), "Null subject with default super should be anonymous");

        Kerb5Authenticator nonAnon = new Kerb5Authenticator(new Subject());

                try {
                    return cache.get(propertyKey,
                            () -> System.getProperty(Constants.FESS_CONFIG_PREFIX + propertyKey, super.get(propertyKey)));
                } catch (final ExecutionException e) {
                    return super.get(propertyKey);
                }
            }
        };
    }

    have prod supersource, even if they have none. GWT is happy to ignore us
    when we specify a nonexistent path.

    (I hope that this workaround does not cause its own problems in the future.)
-->
<super-source path="super"/>

<inherits name="com.google.common.annotations.Annotations" />
<inherits name="com.google.gwt.core.Core" />
<inherits name="com.google.gwt.user.User" />

        super(msg, rootCause);
    }

    /**
     * Constructs an SMB signature validation exception with a detail message.
     *
     * @param msg the detail message describing the validation failure
     */
    public SMBSignatureValidationException(final String msg) {
        super(msg);
    }

    /**
     *
     */

        // Although we cannot directly verify the super constructor call with Mockito for a real class,
        // we can infer its correct behavior if the object is successfully constructed and its own fields are correct.
        // The super constructor is called with (domainHandle, 0, acct_flags, null, 0)

/**
 * Search request body for label type administration API.
 */
public class SearchBody extends BaseSearchBody {

    /**
     * Default constructor.
     */
    public SearchBody() {
        super();
    }

    /** Name of the label type */
    public String name;

    /** Value of the label type */
    public String value;

/**
 * Occurs when a version is invalid.
 *
 */
public class InvalidVersionSpecificationException extends Exception {
    public InvalidVersionSpecificationException(String message) {
        super(message);
    }

/**
 * DuplicateParameterException
 */
public class DuplicateParameterException extends InvalidPluginDescriptorException {

    public DuplicateParameterException(String message) {
        super(message);
    }

    public Apply(StrategyOrchestrator orchestrator) {
        super(orchestrator);
    }

    @Override
    protected boolean shouldSaveModifications() {
        return true;
    }

    @Override
    public int execute(UpgradeContext context) throws Exception {
        context.info("Maven Upgrade Tool - Apply");
        context.println();

        return super.execute(context);
    }

    public Check(StrategyOrchestrator orchestrator) {
        super(orchestrator);
    }

    @Override
    protected boolean shouldSaveModifications() {
        return false;
    }

    @Override
    public int execute(UpgradeContext context) throws Exception {
        context.info("Maven Upgrade Tool - Check");
        context.println();

        return super.execute(context);
    }