- private static void createDirectory(File path) throws IOException {
- Path p = path.toPath();
- if (Files.exists(p) && !Files.isDirectory(p))
- throw new IOException("Could not create index directory " + path + ", a file by that name already exists");
- Files.createDirectories(p);
- }
-