332333334335336337338339340341342
if (oldMmap != null) oldMmap.close(); } else { _isEnableMmap = false; file = path.openRandomAccess(); } wrapper = new RandomAccessWrapper(file); } }
285286287288289290291292293294295
if (file == null) { Path path = _path; if (path != null) { file = path.openRandomAccess(); wrapper = new RandomAccessWrapper(file); } }