--- a/jdk/src/java.base/share/classes/java/util/Collections.java	Thu Jan 12 13:38:27 2017 +0100
+++ b/jdk/src/java.base/share/classes/java/util/Collections.java	Thu Jan 12 17:07:49 2017 +0100
@@ -4859,7 +4859,7 @@
         }
         @Override
         public int hashCode() {
-            return Objects.hashCode(element);
+            return 31 + Objects.hashCode(element);
         }
     }