docs: private static void readFully(final DataInput input, final int[] ints) throws IOException {
          if (input instanceof ImageInputStream) {
              // Optimization for ImageInputStreams, read all in one go
              ((ImageInputStream) input).readFully(ints, 0, ints.length);
          } else {
              for (int i = 0; i < ints.length; i++) {
                  ints[i] = input.readInt();
              }
          }
      }