Bug 68011 [java search] "Search the JRE System Libraries" looks like a local preference but behaves as a global one... [search]
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchPage.java
public boolean isCaseSensitive() {
			return isCaseSensitive;
		}
		public IJavaElement getJavaElement() {
			return javaElement;
		}
		public int getLimitTo() {
			return limitTo;
		}
		public String getPattern() {
			return pattern;
		}
		public int getScope() {
			return scope;
		}
		public int getSearchFor() {
			return searchFor;
		}
		public IWorkingSet[] getWorkingSets() {
			return workingSets;
		}
		
		public void store(IDialogSettings settings) {
			settings.put("searchFor", searchFor); 
			settings.put("scope", scope); 
			settings.put("pattern", pattern); 
			settings.put("limitTo", limitTo); 
			settings.put("javaElement", javaElement != null ? javaElement.getHandleIdentifier() : ""); 
			settings.put("isCaseSensitive", isCaseSensitive); 
			if (workingSets != null) {