import org.jspecify.annotations.NullUnmarked;

/**
 * Tests basic sanity for each class in the package.
 *
 * @author Ben Yu
 */

@NullUnmarked
public class PackageSanityTests extends AbstractPackageSanityTests {
  public PackageSanityTests() {
    setDefault(String.class, "string");
  }

import java.util.Enumeration;

/**
 * An empty {@link Enumeration}.
 *
 * @author higa
 * @param <T> the type of elements
 */
public class EmptyEnumeration<T> extends IteratorEnumeration<T> {

    /**
     * Creates an {@link EmptyEnumeration}.
     */
    public EmptyEnumeration() {
        super(new EmptyIterator<T>());
    }

/**
 * The download form for Elevate Word.
 * This form is used for downloading elevate word configurations from the admin interface.
 *
 */
public class DownloadForm {

    /**
     * Default constructor.
     */
    public DownloadForm() {
        // Use of default constructor
    }

 * begin sending response data before all request data has been received.
 *
 * See [okhttp3.RequestBody.isDuplex].
 */
public interface SocketHandler {
  public fun handle(socket: Socket)

import org.jspecify.annotations.NullUnmarked;

/**
 * Tests basic sanity for each class in the package.
 *
 * @author Ben Yu
 */

@NullUnmarked
public class PackageSanityTests extends AbstractPackageSanityTests {
  public PackageSanityTests() {
    setDefault(String.class, "string");
  }

/**
 * An exception thrown when LDAP configuration is invalid.
 */
public class LdapConfigurationException extends FessSystemException {

    private static final long serialVersionUID = 1L;

    /**
     * Constructs a new LDAP configuration exception with the specified detail message.
     *
     * @param message The detail message.
     */
    public LdapConfigurationException(final String message) {
        super(message);

/**
 * Request body for creating label type via REST API.
 * Extends CreateForm to inherit validation and field definitions.
 */
public class CreateBody extends CreateForm {

    /**
     * Creates a new CreateBody instance.
     */
    public CreateBody() {
    }

/**
 * Request body for creating role via REST API.
 * Extends CreateForm to inherit validation and field definitions.
 */
public class CreateBody extends CreateForm {

    /**
     * Creates a new CreateBody instance.
     */
    public CreateBody() {
    }

/**
 * Request body for creating web configuration via REST API.
 * Extends CreateForm to inherit validation and field definitions.
 */
public class CreateBody extends CreateForm {

    /**
     * Creates a new CreateBody instance.
     */
    public CreateBody() {
    }

 * This form handles the initial setup and configuration
 * in the administrative wizard interface.
 */
public class IndexForm {

    /**
     * Default constructor for index form.
     * Creates a new instance with default values.
     */
    public IndexForm() {
        // Default constructor
    }