--- a/jdk/src/share/classes/java/util/Random.java Mon Jun 10 12:26:20 2013 +0200
+++ b/jdk/src/share/classes/java/util/Random.java Mon Jun 10 12:58:32 2013 +0100
@@ -372,7 +372,7 @@
* range {@code 0.0f} (inclusive) to {@code 1.0f} (exclusive), is
* pseudorandomly generated and returned. All 2<font
* size="-1"><sup>24</sup></font> possible {@code float} values
- * of the form <i>m x </i>2<font
+ * of the form <i>m x </i>2<font
* size="-1"><sup>-24</sup></font>, where <i>m</i> is a positive
* integer less than 2<font size="-1"><sup>24</sup> </font>, are
* produced with (approximately) equal probability.