} else { /*P*/ byte[] page = prepareWrite(); /*P*/ byte[] newPage = pageDb.evictPage(id, page); if (newPage != page) { mPage = newPage;
} else { /*P*/ byte[] page = prepareWrite(); /*P*/ byte[] newPage = pageDb.evictPage(id, page); if (newPage != page) { mPage = newPage;
} else { /*P*/ byte[] page = prepareWrite(); /*P*/ byte[] newPage = pageDb.evictPage(id, page); if (newPage != page) { mPage = newPage;