276277278279280281282283284285286
} if (leasemanager == null) { leasemanager = new LeaseManager(rmanager); } if (tmanager == null) { tmanager = new TransactionManager(rmanager, gmanager); } if (pmanager == null) { pmanager = new PermissionListManager(); } if (firstenable) {