class SETNodeLabel {
  private String name;

  public SETNodeLabel() {
    name = null;
  }

  public void set_Name() {<FILL_FUNCTION_BODY>}

  public void set_Name(String name) {
    this.name = name;
  }

  public String toString() {
    return name;
  }

  public void clear_Name() {
    name = null;
  }
}

    if (name == null) {
      name = "label_" + Integer.toString(G.v().SETNodeLabel_uniqueId++);
    }
  
<no_super_class>