Fix ClassCastException when generating unique parameter names for Records#3045

jjohnstn merged 1 commit into

eclipse-jdt:mastereclipse-jdt/eclipse.jdt.ui:masterfrom

SougandhS:AbsSougandhS/eclipse.jdt.ui:AbsCopy head branch name to clipboard