else if (policy == NEVER_UPDATE) { int docLength = event.getDocument().getLength(); if (getDot() > docLength) setDot(docLength); } }
    public void removeUpdate(DocumentEvent event)    {      int dot = getDot();      setDot(dot - event.getLength());    }