code: final void writeInt(int value)
      {
          byte writeBuffer[] = new byte[4];
          writeBuffer[0] = (byte) (value >>> 24);
          writeBuffer[1] = (byte) (value >>> 16);
          writeBuffer[2] = (byte) (value >>> 8);
          writeBuffer[3] = (byte) (value >>> 0);
          write(writeBuffer, 0, 4);
      }
docs: Writes an <code>int</code> to the byte array as four
  bytes, high byte first. If no exception is thrown, the counter
  <code>written</code> is incremented by <code>4</code>.
  
  @param value to be written.
  @see java.io.DataOutput#writeInt(int)