hg: jdk/jdk: 8247995: Avoid use of a mapping function in Permissions.getPermissionCollection

[claes.redestad at oracle.com]

Changeset: cc4aad546d9a
Author:    redestad
Date:      2020-06-23 10:07 +0200
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/cc4aad546d9a

8247995: Avoid use of a mapping function in Permissions.getPermissionCollection
Reviewed-by: rriggs

! src/java.base/share/classes/java/security/Permissions.java
+ test/micro/org/openjdk/bench/java/security/PermissionsImplies.java