presto-cli/src/main/java/io/prestosql/cli/Pager.java/Pager/flush
class Pager:    @Override
    public void flush()
            throws IOException
    {
        try {
            super.flush();
        }
        catch (IOException e) {
            throw propagateIOException(e);
        }
    }