String result = new String();
String result = "";
  public String toString () {    String result = new String();    for (java.util.Iterator e = values().iterator(); e.hasNext();) {      OPT_DF_LatticeCell cell = (OPT_DF_LatticeCell)e.next();      result = result + cell + "\n";    }    return  result;  }