diff -r 889970e5b728 -r edb590d448c5 jdk/src/share/classes/java/util/regex/MatchResult.java
--- a/jdk/src/share/classes/java/util/regex/MatchResult.java	Mon Jun 10 12:26:20 2013 +0200
+++ b/jdk/src/share/classes/java/util/regex/MatchResult.java	Mon Jun 10 12:58:32 2013 +0100
@@ -79,7 +79,7 @@
     /**
      * Returns the offset after the last character matched.  </p>
      *
-     * @return  @return  The offset after the last character matched
+     * @return  The offset after the last character matched
      *
      * @throws  IllegalStateException
      *          If no match has yet been attempted,