Flushable.java

package java.io;
import checkers.javari.quals.*;

public interface Flushable {

    void flush() throws IOException;
}