public void setState(String state)
    {
        /*log.fine("void setState(String): called");*/
        /*log.fine("state is " + state);*/

        // Check if the state has changed
        if (!this.state.equals(state))
        {
            String oldState = this.state;

            // Keep the new state
            this.state = state;

            // Notify any listeners of the change in state
            firePropertyChange(new PropertyChangeEvent(this, "state", oldState, state));
        }
    }
public void setState ( String state ) { if ( ! this . state . equals ( state ) ) { String oldState = this . state ; this . state = state ; firePropertyChange ( new PropertyChangeEvent ( this , "state" , oldState , state ) ) ; } }
Sets the state of the work panel. State must be one of the defined constants: NOT_INITIALIZED, READY or
NOT_SAVED.

<p/>Listneres are notified of the state change if it is a change.

@param state The new state to set.