A Type-Passing Approach for the Implementation of Parametric Methods in {Java}