On Tue, 1 Aug 2023 10:30:18 GMT, Alan Bateman <alanb at openjdk.org> wrote: > It also opens the door to accidental mix 'n match of modules from different JDK modules. So I don't think this the right change for this issue. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15102#issuecomment-1660035694