[jbosstools-dev] Re: Search Filter for JBoss Tools Palette