158159160161162163164165166167168
public void flush() { flushPrintfItems(); try { this.shell.performPaging(new StaticPageFetcher(this.output)); } catch(PageFetchException e) { this.err.println("Error paging: " + e.getMessage()); } finally { this.output.clear(); }
160161162163164165166167168169170