8221687: Deprecated j.u.jar.Attributes.Name attributes accidentally set to null
authorredestad
Fri, 29 Mar 2019 15:59:28 +0100
changeset 54337 5a9d780eb9dd
parent 54336 a335a4ddc631
child 54338 7a34a3270270
8221687: Deprecated j.u.jar.Attributes.Name attributes accidentally set to null Reviewed-by: alanb
src/java.base/share/classes/java/util/jar/Attributes.java
--- 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);