DefinitionsPane, to prevent memory leaks and allow the
DefinitionsPaneMemoryLeakTest to pass. The listener is now in
MainFrame, and a static character width field is kept for all
DefinitionsPanes; that is acceptable, though, because DrJava only
allows one main font for all panes anyway.
