jdk/src/share/classes/java/security/Permissions.java
changeset 7970 af1579474d16
parent 5506 202f599c92aa
child 9035 1255eb81cc2f
equal deleted inserted replaced
7969:1a6282ab0d2a 7970:af1579474d16
   360     private void writeObject(ObjectOutputStream out) throws IOException {
   360     private void writeObject(ObjectOutputStream out) throws IOException {
   361         // Don't call out.defaultWriteObject()
   361         // Don't call out.defaultWriteObject()
   362 
   362 
   363         // Copy perms into a Hashtable
   363         // Copy perms into a Hashtable
   364         Hashtable<Class<?>, PermissionCollection> perms =
   364         Hashtable<Class<?>, PermissionCollection> perms =
   365             new Hashtable<Class<?>, PermissionCollection>(permsMap.size()*2); // no sync; estimate
   365             new Hashtable<>(permsMap.size()*2); // no sync; estimate
   366         synchronized (this) {
   366         synchronized (this) {
   367             perms.putAll(permsMap);
   367             perms.putAll(permsMap);
   368         }
   368         }
   369 
   369 
   370         // Write out serializable fields
   370         // Write out serializable fields
   565     private void writeObject(ObjectOutputStream out) throws IOException {
   565     private void writeObject(ObjectOutputStream out) throws IOException {
   566         // Don't call out.defaultWriteObject()
   566         // Don't call out.defaultWriteObject()
   567 
   567 
   568         // Copy perms into a Hashtable
   568         // Copy perms into a Hashtable
   569         Hashtable<Permission, Permission> perms =
   569         Hashtable<Permission, Permission> perms =
   570                 new Hashtable<Permission, Permission>(permsMap.size()*2);
   570                 new Hashtable<>(permsMap.size()*2);
   571         synchronized (this) {
   571         synchronized (this) {
   572             perms.putAll(permsMap);
   572             perms.putAll(permsMap);
   573         }
   573         }
   574 
   574 
   575         // Write out serializable fields
   575         // Write out serializable fields