A HashMap is not a Map?

Some explanation is available here: http://blog.jetbrains.com/kotlin/2012/09/kotlin-m3-is-out/

In short, Java’s Map is mutable, and in Kotlin we replace it with a pair of interfaces (read-only) Map and MutableMap to facilitate better type safety. If these extended Java’s Map, they’d have to be mutable as well.