1.1 --- a/src/share/classes/com/sun/tools/javac/util/Log.java Fri Jan 08 13:14:45 2010 -0800 1.2 +++ b/src/share/classes/com/sun/tools/javac/util/Log.java Mon Jan 11 14:05:21 2010 -0800 1.3 @@ -145,7 +145,10 @@ 1.4 private int getIntOption(Options options, String optionName, int defaultValue) { 1.5 String s = options.get(optionName); 1.6 try { 1.7 - if (s != null) return Integer.parseInt(s); 1.8 + if (s != null) { 1.9 + int n = Integer.parseInt(s); 1.10 + return (n <= 0 ? Integer.MAX_VALUE : n); 1.11 + } 1.12 } catch (NumberFormatException e) { 1.13 // silently ignore ill-formed numbers 1.14 }