--- old/src/share/classes/java/util/Random.java 2013-06-10 10:37:55.621878985 +0100
+++ new/src/share/classes/java/util/Random.java 2013-06-10 10:37:55.333878994 +0100
@@ -372,7 +372,7 @@
* range {@code 0.0f} (inclusive) to {@code 1.0f} (exclusive), is
* pseudorandomly generated and returned. All 224 possible {@code float} values
- * of the form m x 2m x 2-24, where m is a positive
* integer less than 224 , are
* produced with (approximately) equal probability.