On Tue, 15 Dec 2020 11:18:16 GMT, Jorn Vernee <jvernee at openjdk.org> wrote: > Should `JavaSourceBuilder::uniqueNestedClassName` also be changed? I believe so ------------- PR: https://git.openjdk.java.net/panama-foreign/pull/421