raf.writeInt(freeList.size());
raf.writeInt(freeList.size() - skip);
		public void write(java.io.RandomAccessFile raf) throws IOException {			// does the free-space list fit into the file header?			if (freeList.size() > MAX_FREE_LIST_LEN) {				LOG.debug("removing " + (freeList.size() - MAX_FREE_LIST_LEN) + " free pages.");				// no: remove some smaller entries to make it fit				for (int i = 0; i < freeList.size() - MAX_FREE_LIST_LEN; i++)					freeList.removeFirst();			}			super.write(raf);			raf.writeLong(lastDataPage);			raf.writeInt(freeList.size());			FreeSpace freeSpace;			for (Iterator i = freeList.iterator(); i.hasNext();) {				freeSpace = (FreeSpace) i.next();				raf.writeLong(freeSpace.getPage());				raf.writeInt(freeSpace.getFree());			}		}