}

    /**
     * Returns the supplied workstation name.
     *
     * @return A <code>String</code> containing the supplied workstation name.
     */
    public String getSuppliedWorkstation() {
        return suppliedWorkstation;
    }

    /**
     * Sets the supplied workstation name for this message.
     *
     * @param suppliedWorkstation The supplied workstation for this message.

    }

    /**
     * Returns the supplied workstation name.
     *
     * @return A <code>String</code> containing the supplied workstation name.
     */
    public String getSuppliedWorkstation() {
        return this.suppliedWorkstation;
    }

    /**
     * Sets the supplied workstation name for this message.
     *
     * @param suppliedWorkstation