!7

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

p {
  File dir = programDir();
  deleteAllProgramFiles();
  makeProgramDir();
  final Path path = dir.toPath();
  
  final WatchService watchService = FileSystems.getDefault().newWatchService();
  final WatchKey watchKey = path.register(watchService, ENTRY_CREATE, ENTRY_DELETE, ENTRY_MODIFY, OVERFLOW);
  
  thread {
    sleepSeconds(2);
    saveProgramTextFile("bla", "1");
    sleepSeconds(1);
    //watchKey.cancel();
    watchService.close();
  }
  
  final new Set<S> changes;
  final Countdown countdown = fiveSeconds();
  print("Waiting");
  expectException(ClosedWatchServiceException.class, r {
    while (!countdown.done()) {
      final WatchKey wk = watchService.take();
      print("Key taken");
      
      for (WatchEvent<?> event : wk.pollEvents()) pcall {
        final Path changed = (Path) event.context();
        print("Changed: " + changed + ", " + event.kind());
        changes.add(changed.toFile().getName());
      }
      
      bool valid = wk.reset();
      if (!valid)
        print("Key has been unregistered");
    }
  });
    
  //watchService.close();
  bool ok = eq(changes, lithashset("bla", "bla_temp"));
  print("Self-Test: " + ok);
}