Bug 73337 New compiler option (COMPILER_PB_ENUM_IDENTIFIER) needs UI
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerConfigurationBlock.java
&& IGNORE.equals(map.get(PREF_PB_ASSERT_AS_IDENTIFIER))
				&& VERSION_1_3.equals(map.get(PREF_SOURCE_COMPATIBILITY))
				&& VERSION_1_1.equals(map.get(PREF_CODEGEN_TARGET_PLATFORM)))
			|| (VERSION_1_4.equals(complianceLevel)
				&& WARNING.equals(map.get(PREF_PB_ASSERT_AS_IDENTIFIER))
				&& VERSION_1_3.equals(map.get(PREF_SOURCE_COMPATIBILITY))
				&& VERSION_1_2.equals(map.get(PREF_CODEGEN_TARGET_PLATFORM)))
			|| (VERSION_1_5.equals(complianceLevel)
				&& ERROR.equals(map.get(PREF_PB_ASSERT_AS_IDENTIFIER))
				&& VERSION_1_5.equals(map.get(PREF_SOURCE_COMPATIBILITY))
				&& VERSION_1_5.equals(map.get(PREF_CODEGEN_TARGET_PLATFORM)))) {
			return DEFAULT_CONF;
		}
		return USER_CONF;
	}
	
	
	protected String[] getFullBuildDialogStrings(boolean workspaceSettings) {
		String title= PreferencesMessages.getString("CompilerConfigurationBlock.needsbuild.title"); 
		String message;
		if (workspaceSettings) {
			message= PreferencesMessages.getString("CompilerConfigurationBlock.needsfullbuild.message"); 
		} else {
			message= PreferencesMessages.getString("CompilerConfigurationBlock.needsprojectbuild.message"); 
		}
		return new String[] { title, message };
	}	
	
}