fIsCaseSensitive= fCaseSensitive.getSelection(); writeConfiguration();
updateUseJRE();
			public void widgetSelected(SelectionEvent e) {				fIsCaseSensitive= fCaseSensitive.getSelection();				writeConfiguration();			}