273274275276277278279280281282283
} if (rmanager == null) { rmanager = new ResidenceManager(); } if (leasemanager == null) { leasemanager = new LeaseManager(rmanager); } if (tmanager == null) { tmanager = new TransactionManager(rmanager, gmanager); } if (pmanager == null) {