StringBuffer () { if (myOriginalDocument == null) { final Editor editor = getEditor(); if (editor != null) { myOriginalDocument = new StringBuffer(editor.getDocument().getText()); } } else { if (ConsoleBuffer.useCycleBuffer()) { resizeBuffer(myOriginalDocument, ConsoleBuffer.getCycleBufferSize()); } } return myOriginalDocument; }