Specializing generic Java data structures