RFR: 8221687: Deprecated j.u.jar.Attributes.Name attributes accidentally set to null

[Claes Redestad]

Hi,

JDK-8214712 accidentally omitted three deprecated Names from being
properly archived.

Bug: https://bugs.openjdk.java.net/browse/JDK-8221687
Patch:
diff -r d9f6d16299b1 
src/java.base/share/classes/java/util/jar/Attributes.java
--- a/src/java.base/share/classes/java/util/jar/Attributes.java    Fri 
Mar 29 08:36:33 2019 +0100
+++ b/src/java.base/share/classes/java/util/jar/Attributes.java    Fri 
Mar 29 14:32: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);

Thanks!

/Claes