public void deinstall(JEditorPane c){
  c.removeCaretListener(inputAttributeUpdater);
  c.removePropertyChangeListener(inputAttributeUpdater);
  currentRun=null;
  currentParagraph=null;
}

public void deinstall ( JEditorPane c ) { c . removeCaretListener ( inputAttributeUpdater ) ; c . removePropertyChangeListener ( inputAttributeUpdater ) ; currentRun = null ; currentParagraph = null ; }
called when the kit is being removed from the jeditorpane . this is used to unregister any listeners that were attached .
