settings.put("includeJRE", includeJRE);
		public void store(IDialogSettings settings) {			settings.put("searchFor", searchFor); //$NON-NLS-1$			settings.put("scope", scope); //$NON-NLS-1$			settings.put("pattern", pattern); //$NON-NLS-1$			settings.put("limitTo", limitTo); //$NON-NLS-1$			settings.put("javaElement", javaElement != null ? javaElement.getHandleIdentifier() : ""); //$NON-NLS-1$ //$NON-NLS-2$			settings.put("isCaseSensitive", isCaseSensitive); //$NON-NLS-1$			if (workingSets != null) {				String[] wsIds= new String[workingSets.length];				for (int i= 0; i < workingSets.length; i++) {					wsIds[i]= workingSets[i].getName();				}				settings.put("workingSets", wsIds); //$NON-NLS-1$			} else {				settings.put("workingSets", new String[0]); //$NON-NLS-1$			}		}