Package debugger.gui.editor
DocumentEditor