BUG-731: hide serverSessionManager