4 import java.nio.channels.*;
6 public interface Watcher {
7 public SelectableChannel channel();
9 public void handle(int events) throws Exception;
10 public default void close() {}
11 public default double timeout() {return(Double.POSITIVE_INFINITY);}