Fix #9115: Make Java-defined fields effectively final#9126

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fx-#9115dotty-staging/dotty:fx-#9115Copy head branch name to clipboard