jdk/src/share/classes/sun/tools/javac/BatchEnvironment.java
changeset 25522 10d789df41bb
parent 5506 202f599c92aa
child 25799 1afc4675dc75
--- a/jdk/src/share/classes/sun/tools/javac/BatchEnvironment.java	Tue Jul 15 10:21:07 2014 -0700
+++ b/jdk/src/share/classes/sun/tools/javac/BatchEnvironment.java	Tue Jul 15 11:22:14 2014 -0700
@@ -1172,7 +1172,7 @@
                     if (!hitErrorLimit) {
                         hitErrorLimit = true;
                         output(errorString("too.many.errors",
-                                           new Integer(errorLimit),null,null));
+                                           errorLimit,null,null));
                     }
                     return;
                 }