runtimeverification/javamop — pull request #104 by seriousamlqz (2014-10-02 18:26:24+00:00)
Title: Fix bugs in test (revealed by Java 8), where the insertion order to Hash...

...Map is not guaranteed