public void unregisterListener(SessionListener listener) {
listeners.remove(listener);
}
public void registerSessionManagerListener(SessionManagerListener listener) {
ServiceSpaceListener adapter = new ServiceSpaceListenerAdapter(listener);
serviceSpace.addServiceSpaceListener(adapter);
synchronized (sessionManagerListenerToAdapter) {
sessionManagerListenerToAdapter.put(listener, adapter);
}
}