Bug 9510 Improve option settings for JDK 1.4
What we currently offer isn't sufficient. We should discuss with Philippe, this is important for the next milestone
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerPreferencePage.java
PREF_CODEGEN_TARGET_PLATFORM, PREF_PB_UNREACHABLE_CODE, PREF_PB_INVALID_IMPORT, PREF_PB_OVERRIDING_PACKAGE_DEFAULT_METHOD,
			PREF_PB_METHOD_WITH_CONSTRUCTOR_NAME, PREF_PB_DEPRECATION, PREF_PB_HIDDEN_CATCH_BLOCK, PREF_PB_UNUSED_LOCAL,
			PREF_PB_UNUSED_PARAMETER, PREF_PB_SYNTHETIC_ACCESS_EMULATION, PREF_PB_NON_EXTERNALIZED_STRINGS,
			PREF_PB_ASSERT_AS_IDENTIFIER, PREF_SOURCE_COMPATIBILITY
		};	
	}
	/**
	 * Initializes the current options (read from preference store)
	 */
	public static void initDefaults(IPreferenceStore store) {
		Hashtable hashtable= JavaCore.getDefaultOptions();
		Hashtable currOptions= JavaCore.getOptions();
		String[] allKeys= getAllKeys();
		for (int i= 0; i < allKeys.length; i++) {
			String key= allKeys[i];
			String defValue= (String) hashtable.get(key);
			if (defValue != null) {
				store.setDefault(key, defValue);
			} else {
				JavaPlugin.logErrorMessage("CompilerPreferencePage: value is null: " + key);
			}
			
			String val= store.getString(key);
			if (val != null) {
				currOptions.put(key, val);
			}			
		}
		JavaCore.setOptions(currOptions);
	}
	private static class ControlData {