176177178179180181182183184
} public MessageChannel getServerToClientMessageChannel() { if (serverToClientMessageChannel == null) serverToClientMessageChannel= new ServerToClientMessageChannel(); return serverToClientMessageChannel; }