ISourceLocator locator= stackFrame.getSourceLocator();
ILaunch launch = stackFrame.getLaunch(); if (launch == null) { return null; } ISourceLocator locator= launch.getSourceLocator();
	protected IJavaElement getJavaElement(IStackFrame stackFrame) {				// Get the corresponding element.		ISourceLocator locator= stackFrame.getSourceLocator();		if (locator == null)			return null;				Object sourceElement = locator.getSourceElement(stackFrame);		if (sourceElement instanceof IType)			return (IType) sourceElement;				return null;	}