document.replace(end, 0, resultString);
document.replace(end, 0, resultString.toString());
	void insertResult(IJavaEvaluationResult result) {		IValue value = result.getValue();		String resultString = null;		if (value == null)			resultString= "(No explicit return value)";		else {			try {				resultString= " (" + value.getReferenceTypeName() + ") " + value.getValueString();			} catch(DebugException e) {				ExceptionHandler.handle(e, JavaPlugin.getActiveWorkbenchShell(), "Error", "");			}		}		int start= fSelection.getOffset();		int end= start + fSelection.getLength();		IDocument document= fEditor.getDocumentProvider().getDocument(fEditor.getEditorInput());		try {			document.replace(end, 0, resultString);		} catch (BadLocationException e) {		}		//fEditor.getSelectionProvider().setSelection(new TextSelection(document, end, resultString.length()));	}