Community
Participate
Working Groups
Follow up from bug 566771: Warning: NLS unused message: JavaEditorPreferencePage_varKeyword in: org.eclipse.jdt.internal.ui.preferences.PreferencesMessages Warning: NLS unused message: JavaEditorPreferencePage_yieldKeyword in: org.eclipse.jdt.internal.ui.preferences.PreferencesMessages Warning: NLS unused message: JavaEditorPreferencePage_recordKeyword in: org.eclipse.jdt.internal.ui.preferences.PreferencesMessages Warning: NLS unused message: JavaEditorPreferencePage_sealedKeywords in: org.eclipse.jdt.internal.ui.preferences.PreferencesMessages Warning: NLS missing message: JavaEditorPreferencePage_restrictedKeywords in: org.eclipse.jdt.internal.ui.preferences.PreferencesMessages
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/171886
Gerrit change https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/171886 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=38f099f57b741b58e5411506bb9bad3889a8d78c
Verified in I20201116-1800.