private void reportPath(String title, Route path) {
    I.add(""+title+": ") ;
    if (path == null) I.add("No path.") ;
    else {
      I.add("Route length: "+path.path.length+"\n  ") ;
      int i = 0 ; for (Tile t : path.path) {
        I.add(t.x+"|"+t.y+" ") ;
        if (((++i % 10) == 0) && (i < path.path.length)) I.add("\n  ");
      }
    }
    I.add("\n") ;
  }