8221687: Deprecated j.u.jar.Attributes.Name attributes accidentally set to null
Reviewed-by: alanb
--- a/src/java.base/share/classes/java/util/jar/Attributes.java Fri Mar 29 10:21:18 2019 -0400
+++ b/src/java.base/share/classes/java/util/jar/Attributes.java Fri Mar 29 15:59:28 2019 +0100
@@ -703,9 +703,12 @@
addName(names, SEALED);
addName(names, EXTENSION_LIST);
addName(names, EXTENSION_NAME);
+ addName(names, EXTENSION_INSTALLATION);
addName(names, IMPLEMENTATION_TITLE);
addName(names, IMPLEMENTATION_VERSION);
addName(names, IMPLEMENTATION_VENDOR);
+ addName(names, IMPLEMENTATION_VENDOR_ID);
+ addName(names, IMPLEMENTATION_URL);
addName(names, SPECIFICATION_TITLE);
addName(names, SPECIFICATION_VERSION);
addName(names, SPECIFICATION_VENDOR);