Refactored EditorView in order to substitue the use of class EditorSplitPane with its superclass JSplitPane. EditorSplitPane was not useful.