A benchmark of Scala Map vs. Java HashMap