--- old/src/java.base/share/classes/java/util/regex/Matcher.java	2014-08-27 22:08:25.000000000 +0800
+++ new/src/java.base/share/classes/java/util/regex/Matcher.java	2014-08-27 22:08:25.000000000 +0800
@@ -1295,14 +1295,14 @@
     public String toString() {
         StringBuilder sb = new StringBuilder();
         sb.append("java.util.regex.Matcher");
-        sb.append("[pattern=" + pattern());
+        sb.append("[pattern=").append(pattern());
         sb.append(" region=");
-        sb.append(regionStart() + "," + regionEnd());
+        sb.append(regionStart()).append(',').append(regionEnd());
         sb.append(" lastmatch=");
         if ((first >= 0) && (group() != null)) {
             sb.append(group());
         }
-        sb.append("]");
+        sb.append(']');
         return sb.toString();
     }