class DistributedPingMessage extends HighPriorityDistributionMessage {

  @Override
  public String toString() {
    return super.toString() + "; proxyId=" + proxyID;
  }

  public  DistributedPingMessage();
  public  DistributedPingMessage(DistributedMember targetServer, ClientProxyMembershipID proxyID);

}