Support for generics has been a long requested enhancement (Fig. 1). It eliminates the need to use casts to change the type of a referenced object. Previously, Java collections were typically ...