Fix JUnit test failure due to JVM differences in HashSet ordering of
elements