docs: public void appendToBuffer(StringBuilder buf) {
      Iterator<Polygon> iter = polygons.iterator();
      while(iter.hasNext()) {
        Polygon poly = iter.next();
        poly.appendToBuffer(buf);
        if(iter.hasNext()) {
          buf.append(" -- ");
        }
      }
    }