Description
We should use a java.util.HashMap, which is faster than Scala's map, although this one barely matters.
Attachments
Issue Links
- links to
We should use a java.util.HashMap, which is faster than Scala's map, although this one barely matters.