[gcjx] Patch: FYI: explicit type parameters

[Tom Tromey]

>>>>> "Ranjit" == Ranjit Mathew <rmathew@gmail.com> writes:

Ranjit> I have fleshed out this part for the pretty-printer as
Ranjit> shown in the attached patch and committed it.

What do you think about getting rid of the old dumper and just using
the new one everywhere?  FWIW I'm not particularly attached to the
output style used by the old one, and it only exists to help with
debugging in some situations.

Tom