Fix bugs in test (revealed by Java 8), where the insertion order to HashMap is not guaranteed
Merge pull request #104 from runtimeverification/fixjava8

Fix bugs in test (revealed by Java 8), where the insertion order to Hash...