equal
deleted
inserted
replaced
513 private void writeObject(ObjectOutputStream out) throws IOException { |
513 private void writeObject(ObjectOutputStream out) throws IOException { |
514 // Don't call out.defaultWriteObject() |
514 // Don't call out.defaultWriteObject() |
515 |
515 |
516 // Copy perms into a Hashtable |
516 // Copy perms into a Hashtable |
517 Hashtable<String, Permission> permissions = |
517 Hashtable<String, Permission> permissions = |
518 new Hashtable<String, Permission>(perms.size()*2); |
518 new Hashtable<>(perms.size()*2); |
519 |
519 |
520 synchronized (this) { |
520 synchronized (this) { |
521 permissions.putAll(perms); |
521 permissions.putAll(perms); |
522 } |
522 } |
523 |
523 |