that's probably the reason, documentation.
It's also more futureproof, as it allows the definition of AbstractMap to at some point change to one that doesn't implement Map without if affecting the interface of HashMap (potentially of course, method signatures would have to be preserved).