corr.start();
}
if (channel != null) {
Vector tmp_mbrs = channel.getView() != null ? channel.getView().getMembers() : null;
setMembers(tmp_mbrs);
<BUG>}
prot_adapter.resume();
}
public void stop() {
prot_adapter.pause();</BUG>
if (corr != null) {

corr.start();
}
if (channel != null) {
Vector tmp_mbrs = channel.getView() != null ? channel.getView().getMembers() : null;
setMembers(tmp_mbrs);
}
if (null != prot_adapter) { //null if called from the constructor that uses PullPushAdapter
prot_adapter.resume();
}
}
public void stop() {
if (corr != null) {
