--- a/jdk/test/java/util/Map/Collisions.java	Tue Jun 04 09:45:14 2013 +0200
+++ b/jdk/test/java/util/Map/Collisions.java	Tue Jun 04 10:04:28 2013 +0100
@@ -26,6 +26,7 @@
  * @bug 7126277
  * @run main Collisions -shortrun
  * @run main/othervm -Djdk.map.althashing.threshold=0 Collisions -shortrun
+ * @run main/othervm -Djdk.map.useRandomSeed=true Collisions -shortrun
  * @summary Ensure Maps behave well with lots of hashCode() collisions.
  * @author Mike Duigou
  */