285286287288289290291292293294295
public void flush() throws IOException { } public void close() throws IOException { } public String toString(){ Location location = this.location; if (null != location) return location.getName(); else return ""; }