32333435363738
super(id, mainTitle); } public final void setServerConnectionService(ServerConnectionService service) { connectionService = service; addResource(new ServerConnectionListenerResource(service, new ConnectionChangeHandler())); }