On the reification of Java wildcards