@SuppressWarnings("unchecked")
protected final View makeView(Vector<Address> mbrs) {
return new View(new ViewId(local_addr), mbrs);
}
private void sendDiscoveryResponse(Address logical_addr, List<PhysicalAddress> physical_addrs,
<BUG>Address coord, boolean is_server, String logical_name, Address sender) {
PingData ping_rsp=new PingData(logical_addr, view, is_server, logical_name, physical_addrs);</BUG>
Message rsp_msg=new Message(sender, null, null);
rsp_msg.setFlag(Message.OOB);
PingHeader rsp_hdr=new PingHeader(PingHeader.GET_MBRS_RSP, ping_rsp);

@SuppressWarnings("unchecked")
protected final View makeView(Vector<Address> mbrs) {
return new View(new ViewId(local_addr), mbrs);
}
private void sendDiscoveryResponse(Address logical_addr, List<PhysicalAddress> physical_addrs,
boolean is_server, String logical_name, Address sender) {
PingData ping_rsp=new PingData(logical_addr, view, is_server, logical_name, physical_addrs);
Message rsp_msg=new Message(sender, null, null);
rsp_msg.setFlag(Message.OOB);
PingHeader rsp_hdr=new PingHeader(PingHeader.GET_MBRS_RSP, ping_rsp);
