Bug 196164 IDE plugin broken due to missing dependency on runtime compatibility
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/navigator/ResourceNavigator.java
/**
     * Returns the pattern filter for this view.
     *
     * @return the pattern filter
     * @since 2.0
     */
    public ResourcePatternFilter getPatternFilter() {
        return this.patternFilter;
    }
    /**
     * Returns the working set for this view.
     *
     * @return the working set
     * @since 2.0
     */
    public IWorkingSet getWorkingSet() {
        return workingSetFilter.getWorkingSet();
    }
    /**
     * Returns the navigator's plugin.
     * @return the UI plugin for this bundle
     */
    public AbstractUIPlugin getPlugin() {
        return IDEWorkbenchPlugin.getDefault();
    }
    /**
     * Return the sorter.
     * 
     * @since 2.0
     * @deprecated as of 3.3, use {@link ResourceNavigator#getComparator()}