void (String[] idToName, @NotNull Path file, @NotNull Charset charset) { try { Files.createDirectories(file.getParent()); Files.write(file, Arrays.asList(idToName), charset); } catch (IOException e) { throw new UncheckedIOException("Can't store enumerator to " + file, e); } }