changeset 48697 | 0474300affbd |
parent 48409 | 5ab69533994b |
--- a/src/java.xml/share/classes/com/sun/org/apache/xml/internal/dtm/ref/DTMDefaultBase.java Thu Feb 01 09:40:38 2018 -0800 +++ b/src/java.xml/share/classes/com/sun/org/apache/xml/internal/dtm/ref/DTMDefaultBase.java Thu Feb 01 15:53:51 2018 -0800 @@ -354,7 +354,7 @@ while (low <= high) { - int mid = (low + high) / 2; + int mid = (low + high) >>> 1; int c = list[mid]; if (c > value)