On Tue, 2 Jul 2024 08:55:28 GMT, Daniel Fuchs <dfu...@openjdk.org> wrote:
> This trivial test was pushed without a .java file extension and none of us > spotted this. > > This change renames the test to add the proper file extension, converts it to > use jupiter APIs instead of TestNG, and fixes a small mistake > (s/principal.getName()/principal.getUsername()/). Looks good to me. ------------- Marked as reviewed by cstein (Committer). PR Review: https://git.openjdk.org/jdk/pull/19984#pullrequestreview-2153161188
