if (element instanceof IFile) { IJavaElement je= JavaPlugin.getDefault().getWorkingCopyManager().getWorkingCopy(new FileEditorInput((IFile)element)); if (je != null) return je; }
	public Object getAdapter(Object element, Class key) {		if (IJavaElement.class.equals(key)) {			return JavaCore.create((IResource)element);		}		return null;	}	