else resultString= " (" + value.getReferenceTypeName() + ") " + value.getValueString();
else { try { resultString= " (" + value.getReferenceTypeName() + ") " + value.getValueString(); } catch(DebugException e) { ExceptionHandler.handle(e, JavaPlugin.getActiveWorkbenchShell(), "Error", ""); } }
	void insertResult(IJavaEvaluationResult result) {		IValue value = result.getValue();		String resultString = null;		if (value == null)			resultString= "(No explicit return value)";		else			resultString= " (" + value.getReferenceTypeName() + ") " + value.getValueString();		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()));	}