[MODIF] Using WekaHashMap instead of ordinary HashMap to avoid memory
leaks of cached values.