protected EventBusManager substitutingUserEventBusManager;
public AbstractProcessToolSession(UserData user, Collection<String> roleNames, ProcessToolRegistry registry) {
this.user = user;
this.roleNames = new HashSet<String>(roleNames);
this.eventBusManager = new ProcessToolEventBusManager(registry, registry.getExecutorService());
log.finest("Created session for user: " + user);
}