Type-safe maps in Java.