changeset 51442 | 703576fdd268 |
parent 47216 | 71c04702a3d5 |
--- a/src/java.logging/share/classes/java/util/logging/Formatter.java Sat Aug 18 13:59:25 2018 -0400 +++ b/src/java.logging/share/classes/java/util/logging/Formatter.java Sun Aug 19 22:41:49 2018 -0700 @@ -137,7 +137,7 @@ while ((index = format.indexOf('{', index+1)) > -1) { if (index >= fence) break; char digit = format.charAt(index+1); - if (digit >= '0' & digit <= '9') { + if (digit >= '0' && digit <= '9') { return java.text.MessageFormat.format(format, parameters); } }