--- a/src/java.xml/share/classes/com/sun/org/apache/xml/internal/utils/NodeVector.java	Thu Feb 01 09:40:38 2018 -0800
+++ b/src/java.xml/share/classes/com/sun/org/apache/xml/internal/utils/NodeVector.java	Thu Feb 01 15:53:51 2018 -0800
@@ -669,9 +669,10 @@
     /*
      *  Pick a pivot and move it out of the way
      */
-    int pivot = a[(lo + hi) / 2];
+    int mid = (lo + hi) >>> 1;
+    int pivot = a[mid];
 
-    a[(lo + hi) / 2] = a[hi];
+    a[mid] = a[hi];
     a[hi] = pivot;
 
     while (lo < hi)