} if (item instanceof IType) { promptForSource((IType)item);
	public IEditorInput getEditorInput(Object item) {		if (item instanceof IMarker) {			IMarker m= (IMarker) item;			item= JDIDebugModel.getType(m);		}		try {			return EditorUtility.getEditorInput(item);		} catch (JavaModelException e) {			return null;		}	}