Bug 534473 - UI option for bug 525713: Warn when consuming auto modules
with unstable names

Change-Id: I2545c319d11200de4dfe3c9c7774a9afa3321d8d
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.java
index 28e5439..e90bf01 100644
--- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.java
+++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.java
@@ -454,6 +454,7 @@
 	public static String ProblemSeveritiesConfigurationBlock_pb_deprecation_in_deprecation_label;
 	public static String ProblemSeveritiesConfigurationBlock_pb_deprecation_when_overriding_label;
 	public static String ProblemSeveritiesConfigurationBlock_pb_api_leak_label;
+	public static String ProblemSeveritiesConfigurationBlock_pb_unstable_auto_module_name_label;
 	public static String ProblemSeveritiesConfigurationBlock_pb_empty_statement_label;
 	public static String ProblemSeveritiesConfigurationBlock_pb_unnecessary_type_check_label;
 	public static String ProblemSeveritiesConfigurationBlock_pb_incomplete_enum_switch_label;
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.properties b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.properties
index a18ee76..8f6c5f1 100644
--- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.properties
+++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.properties
@@ -457,6 +457,7 @@
 ProblemSeveritiesConfigurationBlock_pb_unhandled_surpresswarning_tokens=Unhandled token in '@SuppressWarnings':
 ProblemSeveritiesConfigurationBlock_pb_unused_throwing_exception_when_overriding_label=Ignore in overriding and implementing methods
 ProblemSeveritiesConfigurationBlock_pb_api_leak_label=AP&I leaks
+ProblemSeveritiesConfigurationBlock_pb_unstable_auto_module_name_label=An automatic module with an unstable name is &required
 ProblemSeveritiesConfigurationBlock_pb_unused_throwing_exception_ignore_unchecked_label=Ignore 'Exception' and 'Throwable'
 ProblemSeveritiesConfigurationBlock_pb_missing_serial_version_label=Seriali&zable class without serialVersionUID:
 ProblemSeveritiesConfigurationBlock_pb_missing_static_on_method_label=Method can be static:
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ProblemSeveritiesConfigurationBlock.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ProblemSeveritiesConfigurationBlock.java
index a8198c1..c850cca 100644
--- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ProblemSeveritiesConfigurationBlock.java
+++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ProblemSeveritiesConfigurationBlock.java
@@ -558,6 +558,7 @@
 	private static final Key PREF_PB_TERMINAL_DEPRECATION= getJDTCoreKey(JavaCore.COMPILER_PB_TERMINAL_DEPRECATION);
 
 	private static final Key PREF_PB_API_LEAKS= getJDTCoreKey(JavaCore.COMPILER_PB_API_LEAKS);
+	private static final Key PREF_PB_UNSTABLE_AUTO_MODULE_NAME= getJDTCoreKey(JavaCore.COMPILER_PB_UNSTABLE_AUTO_MODULE_NAME);
 
 	private static final Key PREF_PB_HIDDEN_CATCH_BLOCK= getJDTCoreKey(JavaCore.COMPILER_PB_HIDDEN_CATCH_BLOCK);
 	private static final Key PREF_PB_UNUSED_LOCAL= getJDTCoreKey(JavaCore.COMPILER_PB_UNUSED_LOCAL);
@@ -704,6 +705,7 @@
 				PREF_PB_OVERRIDING_PACKAGE_DEFAULT_METHOD,
 				PREF_PB_METHOD_WITH_CONSTRUCTOR_NAME, PREF_PB_DEPRECATION, PREF_PB_TERMINAL_DEPRECATION, PREF_PB_HIDDEN_CATCH_BLOCK, PREF_PB_UNUSED_LOCAL,
 				PREF_PB_API_LEAKS,
+				PREF_PB_UNSTABLE_AUTO_MODULE_NAME,
 				PREF_PB_UNUSED_PARAMETER, PREF_PB_UNUSED_EXCEPTION_PARAMETER, PREF_PB_UNUSED_PARAMETER_INCLUDE_DOC_COMMENT_REFERENCE,
 				PREF_PB_SYNTHETIC_ACCESS_EMULATION, PREF_PB_NON_EXTERNALIZED_STRINGS,
 				PREF_PB_UNUSED_IMPORT, PREF_PB_UNUSED_LABEL,
@@ -1024,6 +1026,9 @@
 		label= PreferencesMessages.ProblemSeveritiesConfigurationBlock_pb_api_leak_label;
 		node= fFilteredPrefTree.addComboBox(inner, label, PREF_PB_API_LEAKS, errorWarningInfoIgnore, errorWarningInfoIgnoreLabels, defaultIndent, section);
 
+		label= PreferencesMessages.ProblemSeveritiesConfigurationBlock_pb_unstable_auto_module_name_label;
+		node= fFilteredPrefTree.addComboBox(inner, label, PREF_PB_UNSTABLE_AUTO_MODULE_NAME, errorWarningInfoIgnore, errorWarningInfoIgnoreLabels, defaultIndent, section);
+
 		// --- unnecessary_code
 
 		label= PreferencesMessages.ProblemSeveritiesConfigurationBlock_section_unnecessary_code;