else if (policy == NEVER_UPDATE)
else if (policy == NEVER_UPDATE || (! SwingUtilities.isEventDispatchThread() && policy == UPDATE_WHEN_ON_EDT))
    public void removeUpdate(DocumentEvent event)    {      if (policy == ALWAYS_UPDATE ||           (SwingUtilities.isEventDispatchThread() &&            policy == UPDATE_WHEN_ON_EDT))        {      int dot = getDot();      setDot(dot - event.getLength());    }      else if (policy == NEVER_UPDATE)        {          int docLength = event.getDocument().getLength();          if (getDot() > docLength)            setDot(docLength);        }    }