code: private long[] getRowAddressesFromHeader( ByteBuffer header ) {
          /*
           * Jump over the no more needed first byte (used in readHeader to define the header size)
           */
          byte firstbyte = header.get();
  
          /* Read the data row addresses inside the file */
          long[] adrows = new long[fileWindow.getRows() + 1];
          if (firstbyte == 4) {
              for( int i = 0; i <= fileWindow.getRows(); i++ ) {
                  adrows[i] = header.getInt();
              }
          } else if (firstbyte == 8) {
              for( int i = 0; i <= fileWindow.getRows(); i++ ) {
                  adrows[i] = header.getLong();
              }
          } else {
              // problems
          }
          return adrows;
      }
docs: Extract the row addresses from the header information of the file