finally { writeUnlock(); } }
  public void insertString(int offset, String text, AttributeSet attributes)    throws BadLocationException  {    // Bail out if we have a bogus insertion (Behavior observed in RI).    if (text == null || text.length() == 0)      return;        if (documentFilter == null)      insertStringImpl(offset, text, attributes);    else      documentFilter.insertString(getBypass(), offset, text, attributes);  }