Update Generics example for TIJ