Bug 4273 Compiler option changes not handled correctly (1GKWRI3)
Nothing happens if auto-build is on and (some) compiler options are changed . If something was reported as error and now I choose that to be reported as warning and if autobuild is on I expect a rebuild. Same if I switch from 1.2 to 1.3 compatibilty. NOTES: EG (01.10.2001 14:57:06) we should prompt the user for a rebuild whenever an option changes. MA (01.10.2001 15:16:25) The description in the pages says everything. EG (02.10.2001 18:16:59) yes, but this is isn't sufficient. We should show a dialog with the option to rebuild the workspace after apply.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerPreferencePage.java
label= JavaUIMessages.getString("CompilerPreferencePage.pb_assert_as_identifier.label"); 
		addComboBox(warningsComposite, label, PREF_PB_ASSERT_AS_IDENTIFIER, errorWarningIgnore, errorWarningIgnoreLabels);		
		String[] generateValues= new String[] { GENERATE, DO_NOT_GENERATE };
		layout= new GridLayout();
		layout.numColumns= 2;
		Composite codeGenComposite= new Composite(folder, SWT.NULL);
		codeGenComposite.setLayout(layout);
		label= JavaUIMessages.getString("CompilerPreferencePage.variable_attr.label"); 
		addCheckBox(codeGenComposite, label, PREF_LOCAL_VARIABLE_ATTR, generateValues);
		
		label= JavaUIMessages.getString("CompilerPreferencePage.line_number_attr.label"); 
		addCheckBox(codeGenComposite, label, PREF_LINE_NUMBER_ATTR, generateValues);		
		label= JavaUIMessages.getString("CompilerPreferencePage.source_file_attr.label"); 
		addCheckBox(codeGenComposite, label, PREF_SOURCE_FILE_ATTR, generateValues);		
		label= JavaUIMessages.getString("CompilerPreferencePage.codegen_unused_local.label"); 
		addCheckBox(codeGenComposite, label, PREF_CODEGEN_UNUSED_LOCAL, new String[] { PRESERVE, OPTIMIZE_OUT });	
		String[] values= new String[] { VERSION_1_1, VERSION_1_2, VERSION_1_3, VERSION_1_4 };
		String[] valuesLabels= new String[] {
			JavaUIMessages.getString("CompilerPreferencePage.jvm11"), 
			JavaUIMessages.getString("CompilerPreferencePage.jvm12"),
			JavaUIMessages.getString("CompilerPreferencePage.jvm13"),
			JavaUIMessages.getString("CompilerPreferencePage.jvm14")
		};
		
		label= JavaUIMessages.getString("CompilerPreferencePage.codegen_targetplatform.label"); 
		addComboBox(codeGenComposite, label, PREF_CODEGEN_TARGET_PLATFORM, values, valuesLabels);	
		values= new String[] { VERSION_1_3, VERSION_1_4 };
		valuesLabels= new String[] {
			JavaUIMessages.getString("CompilerPreferencePage.version13"),