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
}
	
	private Hashtable fWorkingValues;
	private ArrayList fCheckBoxes;
	private ArrayList fComboBoxes;
	
	private SelectionListener fSelectionListener;
	public CompilerPreferencePage() {
		setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());
		setDescription(JavaUIMessages.getString("CompilerPreferencePage.description")); 
	
		fWorkingValues= JavaCore.getOptions();
		fCheckBoxes= new ArrayList();
		fComboBoxes= new ArrayList();
		
		fSelectionListener= new SelectionListener() {
			public void widgetDefaultSelected(SelectionEvent e) {}
			public void widgetSelected(SelectionEvent e) {
				controlChanged(e.widget);
			}
		};
		
	}
	/**
	 * @see IWorkbenchPreferencePage#init()
	 */	
	public void init(IWorkbench workbench) {
	}
	/**
	 * @see PreferencePage#createControl(Composite)