chiark / gitweb /
Make sure that keys are properly removed from hashmap