}
	public synchronized void setLength(long length) throws IOException {		if (closed) {			throw new IOException("File closed");		}		if (readOnly) {			throw new IOException("Cannot write");		}		file.setLength(length);		if (length > fileOffset) {			fileOffset = length;		}	}