void eof_remote(){ super.eof_remote(); eof(); } }
void eof_remote(){ super.eof_remote(); eof(); } }
void eof_remote() { super.eof_remote(); eof(); } }
void eof_remote(){ super.eof_remote(); eof(); } }
channel = Channel.getChannel(i, this); if (channel != null) { channel.eof_remote();
channel.eof_remote();
channel.eof_remote();