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

static WatchService jdk_newWatchService() ctex {
  ret FileSystems.getDefault().newWatchService();
}