Fix #13046: override is a valid identifier in Java, not a keyword#13048
Merged
smarter merged 1 commit intoscala:masterfrom Jul 11, 2021
override is a valid identifier in Java, not a keyword#13048