use new HashMap() instead of Map(), since Dart might change the spec in the future