Bug 6503 Search page - should offer case sensitivity check box
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchPage.java
int				searchFor;
		int				limitTo;
		String			pattern;
		IJavaElement	javaElement;
		int				scope;
		IWorkingSet	 	workingSet;
		
		public SearchPatternData(int s, int l, String p, IJavaElement element) {
			this(s, l, p, element, ISearchPageContainer.WORKSPACE_SCOPE, null);
		}
		
		public SearchPatternData(int s, int l, String p, IJavaElement element, int scope, IWorkingSet workingSet) {
			searchFor= s;