de.hillenbrand.jedi.editor
Classes 
ClassBrowserHistory
JediEditorFrame