if (lineTypes == null) { lineTypes = new int[16]; } else if (currentLine >= lineTypes.length) { int[] oldLineTypes = lineTypes; lineTypes = new int[oldLineTypes.length * 2]; System.arraycopy(oldLineTypes, 0, lineTypes, 0, oldLineTypes.length); } lineTypes[currentLine++] = type; try { replace(getLength(), 0, line + "\n"); } catch (BadLocationException e) { SVNProviderPlugin.log(SVNException.wrapException(e)); } }
if(lines == null) { lines = new String[BUFFER_SIZE]; lineTypes = new int[BUFFER_SIZE]; } lines[writeIndex] = line; lineTypes[writeIndex] = type;  if(++writeIndex >= BUFFER_SIZE) { writeIndex = 0; } if(writeIndex == readIndex) { if(++readIndex >= BUFFER_SIZE) { readIndex = 0; } } }
	public void appendConsoleLine(int type, String line) {		if (lineTypes == null) {			lineTypes = new int[16];		} else if (currentLine >= lineTypes.length) {			int[] oldLineTypes = lineTypes;			lineTypes = new int[oldLineTypes.length * 2];			System.arraycopy(oldLineTypes, 0, lineTypes, 0, oldLineTypes.length);		}		lineTypes[currentLine++] = type;		try { 			replace(getLength(), 0, line + "\n"); //$NON-NLS-1$		} catch (BadLocationException e) {			SVNProviderPlugin.log(SVNException.wrapException(e));		}	}