s+= ", length = " + length; s += ", actual = " + actualLength;
    public String toString() {	String s = "";	Iterator i = segments.iterator();	while (i.hasNext()) {	    if (s.length() > 0)		s += ", ";	    s += ((IntLine) i.next()).toString();	}	return s;    }