--- 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.