if (e.getPropertyName().equals("text")) { String text = (String) e.getNewValue(); JLabel l = (JLabel) e.getSource(); BasicHTML.updateRenderer(l, text); }
  public void propertyChange(PropertyChangeEvent e)  {    // What to do here?  }