import java.nio.file.*;
import static java.nio.file.StandardWatchEventKinds.*;

static WatchEvent.Kind[] jdk_watchService_allEventKinds() {
  ret new WatchEvent.Kind[] {ENTRY_CREATE, ENTRY_DELETE, ENTRY_MODIFY, OVERFLOW};
}