tree 3262fe00e861d3299f3350af4a30971531fd7521
parent 8e36113f64a764c7d6bcbe4bd9164cedd7b4ba85
author Simone Bordet <simone.bordet@gmail.com> 1365431640 +0200
committer Simone Bordet <simone.bordet@gmail.com> 1365431721 +0200

Now that the API has a remove(...) method, the map implementation
can be changed from WeakHashMap to ConcurrentHashMap.