jdk/src/java.base/share/classes/java/security/Identity.java
changeset 30033 b9c86c17164a
parent 25859 3317bb8137f4
child 31695 4d10942c9a7b
--- a/jdk/src/java.base/share/classes/java/security/Identity.java	Wed Jul 05 20:30:11 2017 +0200
+++ b/jdk/src/java.base/share/classes/java/security/Identity.java	Thu Apr 23 18:51:18 2015 -0700
@@ -185,7 +185,7 @@
 
         check("setIdentityPublicKey");
         this.publicKey = key;
-        certificates = new Vector<Certificate>();
+        certificates = new Vector<>();
     }
 
     /**
@@ -248,7 +248,7 @@
         check("addIdentityCertificate");
 
         if (certificates == null) {
-            certificates = new Vector<Certificate>();
+            certificates = new Vector<>();
         }
         if (publicKey != null) {
             if (!keyEquals(publicKey, certificate.getPublicKey())) {