}
	public IEditorInput getEditorInput(Object element) {		if (element instanceof IFile) {			IFile file = (IFile) element;			IEditorDescriptor editorDescriptor = IDE.getDefaultEditor(file);			if (editorDescriptor != null					&& editorDescriptor.getId() != null					&& editorDescriptor.getId().startsWith(							"org.objectstyle.wolips")) {				return new FileEditorInput(file);			}		}		return null;	}