diff -r 224533455888 -r d1ea43cb71c1 src/share/classes/com/sun/tools/javadoc/Messager.java --- a/src/share/classes/com/sun/tools/javadoc/Messager.java Fri Jun 11 07:12:07 2010 -0700 +++ b/src/share/classes/com/sun/tools/javadoc/Messager.java Fri Jun 11 17:24:23 2010 -0700 @@ -86,7 +86,7 @@ private static final long serialVersionUID = 0; } - private final String programName; + final String programName; private ResourceBundle messageRB = null; @@ -121,6 +121,16 @@ this.programName = programName; } + @Override + protected int getDefaultMaxErrors() { + return Integer.MAX_VALUE; + } + + @Override + protected int getDefaultMaxWarnings() { + return Integer.MAX_VALUE; + } + /** * Reset resource bundle, eg. locale has changed. */ @@ -231,11 +241,13 @@ * @param msg message to print */ public void printError(SourcePosition pos, String msg) { - String prefix = (pos == null) ? programName : pos.toString(); - errWriter.println(prefix + ": " + getText("javadoc.error") + " - " + msg); - errWriter.flush(); - prompt(); - nerrors++; + if (nerrors < MaxErrors) { + String prefix = (pos == null) ? programName : pos.toString(); + errWriter.println(prefix + ": " + getText("javadoc.error") + " - " + msg); + errWriter.flush(); + prompt(); + nerrors++; + } } /** @@ -256,10 +268,12 @@ * @param msg message to print */ public void printWarning(SourcePosition pos, String msg) { - String prefix = (pos == null) ? programName : pos.toString(); - warnWriter.println(prefix + ": " + getText("javadoc.warning") +" - " + msg); - warnWriter.flush(); - nwarnings++; + if (nwarnings < MaxWarnings) { + String prefix = (pos == null) ? programName : pos.toString(); + warnWriter.println(prefix + ": " + getText("javadoc.warning") +" - " + msg); + warnWriter.flush(); + nwarnings++; + } } /**