252253254255256257258259260
return provenanceManagerImpl; } public UserManager getUserManager() { if (userManagerImpl == null) { userManagerImpl = new UserManagerImpl(this); } return userManagerImpl; }
352353354355356357358359360
841842843844845846847848849
return provenanceManagerImpl; } public UserManager getUserManager() { if (userManagerImpl==null) { userManagerImpl = new UserManagerImpl(this); } return userManagerImpl; }
344345346347348349350351352
761762763764765766767768769
} @Override public UserManager getUserManager() { if (userManagerImpl==null) { userManagerImpl = new UserManagerImpl(this); } return userManagerImpl; }
341342343344345346347348349