On Thu, 6 Apr 2023 19:01:39 GMT, Roger Riggs <rriggs at openjdk.org> wrote: > Removed. Good, that makes it simpler and it means the qualified export can be removed too. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13357#discussion_r1160162760