return new DataInputStream(new BufferedInputStream(secureAction.getFileInputStream(lazyFile), 65536));
return new DataInputStream(new BufferedInputStream(secureAction.getFileInputStream(lazyFile), BUFFER_SIZE_LAZY));
	private DataInputStream openLazyFile() throws IOException {		if (lazyFile == null)			throw new IOException(); // TODO error message here!		return new DataInputStream(new BufferedInputStream(secureAction.getFileInputStream(lazyFile), 65536));	}