Parametric Polymorphism in Java through the Homogeneous Translation LM: Gathering Type Descriptors a