Re: RFR 8054213: Class name repeated in output of Type.toString()