Fix for JDK 1.8. (HashSet order has changed.)