--- a/jdk/src/java.base/share/classes/java/util/regex/Matcher.java Mon Mar 09 18:16:52 2015 -0700
+++ b/jdk/src/java.base/share/classes/java/util/regex/Matcher.java Tue Mar 10 13:30:21 2015 +0100
@@ -1183,7 +1183,7 @@
*
* <p> Given the regular expression <tt>dog</tt>, the input
* <tt>"zzzdogzzzdogzzz"</tt>, and the function
- * <tt>mr -> mr.group().toUpperCase()</tt>, an invocation of this method on
+ * {@code mr -> mr.group().toUpperCase()}, an invocation of this method on
* a matcher for that expression would yield the string
* <tt>"zzzDOGzzzDOGzzz"</tt>.
*
@@ -1405,7 +1405,7 @@
*
* <p> Given the regular expression <tt>dog</tt>, the input
* <tt>"zzzdogzzzdogzzz"</tt>, and the function
- * <tt>mr -> mr.group().toUpperCase()</tt>, an invocation of this method on
+ * {@code mr -> mr.group().toUpperCase()}, an invocation of this method on
* a matcher for that expression would yield the string
* <tt>"zzzDOGzzzdogzzz"</tt>.
*