Closeable.java

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

public interface Closeable {

    public void close() throws IOException;

}