On Fri, 9 Jun 2023 19:44:32 GMT, Chris Hegarty wrote:
> Hi all,
>
> This pull request contains a backport of commit
> [cee5724d](https://github.com/openjdk/jdk/commit/cee5724d09b9ef9bd528fb721b756cb052265e3d)
> from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
>
> The commit
On Fri, 9 Jun 2023 13:02:18 GMT, Chris Hegarty wrote:
> A trivial use of the Vector API when run with the security manager and a
> domain that does not grant permissions fails with
> java.security.AccessControlException: access denied
> ("java.util.PropertyPermission"
>