} catch(BadLocationException ble) {  } }
    public void actionPerformed(ActionEvent event)    {      try        {      JTextComponent t = getTextComponent(event);                if (t != null)            {              int offs = Utilities.getNextWord(t, t.getCaretPosition());                    Caret c = t.getCaret();              c.setDot(offs);              c.setMagicCaretPosition(t.modelToView(offs).getLocation());    }  }      catch(BadLocationException ble)  {          // Can't happen.        }    }