public RobustnessManagerID(MessageAddress addr, UID uid) { this.addr = addr; this.uid = uid;
public RobustnessManagerID() {
  public RobustnessManagerID(MessageAddress addr, UID uid) {    this.addr = addr;    this.uid = uid;  }