Leaking abstractions: concurrency issues in HashMap

Correct. But apparently when coupling abstractions with concurrency the threats are not immediately obvious and one will learn only after encountering bugs like this ...