Community
Participate
Working Groups
Eclipse persists search options (such as 'Case sensitive'), so next time when you search for something, you do not have to check the same options again. Plug-in search does do that, but should.
*** This bug has been marked as a duplicate of bug 213119 ***