Bug 48868 New compiler preference: Overriding Deprecated Method
20011216 Added option to avoid reporting a warning when overriding a deprecated method. By default, such warnings are no longer reported. * COMPILER / Reporting Deprecation When Overriding Deprecated Method * When enabled, the compiler will signal the declaration of a method overriding a deprecated one. * The severity of the problem is controlled with option "org.eclipse.jdt.core.compiler.problem.deprecation". * - option id: "org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod" * - possible values: { "enabled", "disabled" } * - default: "disabled"
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerConfigurationBlock.java
gd.grabExcessHorizontalSpace= true;
		gd.widthHint= fPixelConverter.convertWidthInCharsToPixels(10);
		
		return othersComposite;
	}
	
	private Composite createComplianceTabContent(Composite folder) {
		GridLayout layout= new GridLayout();
		layout.numColumns= 1;
		String[] values34= new String[] { VERSION_1_3, VERSION_1_4 };
		String[] values34Labels= new String[] {
			PreferencesMessages.getString("CompilerConfigurationBlock.version13"),  
			PreferencesMessages.getString("CompilerConfigurationBlock.version14") 
		};
		Composite compComposite= new Composite(folder, SWT.NULL);
		compComposite.setLayout(layout);
		int nColumns= 3;
		layout= new GridLayout();
		layout.numColumns= nColumns;
		Group group= new Group(compComposite, SWT.NONE);
		group.setText(PreferencesMessages.getString("CompilerConfigurationBlock.compliance.group.label")); 
		group.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
		group.setLayout(layout);
	
		String label= PreferencesMessages.getString("CompilerConfigurationBlock.compiler_compliance.label"); 
		addComboBox(group, label, PREF_COMPLIANCE, values34, values34Labels, 0);	
		label= PreferencesMessages.getString("CompilerConfigurationBlock.default_settings.label"); 
		addCheckBox(group, label, INTR_DEFAULT_COMPLIANCE, new String[] { DEFAULT_CONF, USER_CONF }, 0);	
		int indent= fPixelConverter.convertWidthInCharsToPixels(2);
		Control[] otherChildren= group.getChildren();