code: private void readObject(java.io.ObjectInputStream s)
  		throws java.io.IOException, ClassNotFoundException {
  		// Read in size, and any hidden stuff
  		s.defaultReadObject();
  
  		// Read in array length and allocate array
  		int arrayLength = s.readInt();
  		long[] a = elementData = new long[arrayLength];
  
  		// Read in all elements in the proper order.
  		for (int i=0; i<size; i++)
  			a[i] = s.readLong();
  	}
docs: Reconstitute the <tt>IntArrayList</tt> instance from a stream (that is,
  deserialize it).