Bug 51853 Support new compiler option PREF_PB_UNUSED_DECLARED_THROWN_EXCEPTION_WHEN_OVERRIDING
20040212 Add the new setting to the compiler preference page
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerConfigurationBlock.java
String[] errorWarningIgnore= new String[] { ERROR, WARNING, IGNORE };
		
		String[] errorWarningIgnoreLabels= new String[] {
				PreferencesMessages.getString("CompilerConfigurationBlock.error"),  
				PreferencesMessages.getString("CompilerConfigurationBlock.warning"), 
				PreferencesMessages.getString("CompilerConfigurationBlock.ignore") 
		};
		
		String[] enabledDisabled= new String[] { ENABLED, DISABLED };
		
		String[] visibilities= new String[] { PUBLIC, PROTECTED, DEFAULT, PRIVATE  };
		
		String[] visibilitiesLabels= new String[] {
				PreferencesMessages.getString("CompilerConfigurationBlock.public"), 
				PreferencesMessages.getString("CompilerConfigurationBlock.protected"), 
				PreferencesMessages.getString("CompilerConfigurationBlock.default"), 
				PreferencesMessages.getString("CompilerConfigurationBlock.private") 
		};
		int nColumns= 3;
		
		/*
		 * COMPILER_PB_INVALID_JAVADOC: "ignore", "warning", "error"
			  COMPILER_PB_INVALID_JAVADOC_TAGS: "enabled", "disabled"
			  COMPILER_PB_INVALID_JAVADOC_TAGS_VISIBILITY: "public", "protected", "default", "private"
			
			COMPILER_PB_MISSING_JAVADOC_TAGS: "ignore", "warning", "error"
			  COMPILER_PB_MISSING_JAVADOC_TAGS_VISIBILITY: "public", "protected", "default", "private"
			  COMPILER_PB_MISSING_JAVADOC_TAGS_OVERRIDING: "enabled", "disabled"
			
			COMPILER_PB_MISSING_JAVADOC_COMMENTS: "ignore", "warning", "error"