Method flush

src/bin/io/RandomAccessFile.java:46–46

()

    RandomAccessFile newFragment(long offset, long length) throws IOException;

    void flush() throws IOException;

    boolean isClosed();