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

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