}
        String prefix = (moduleName == null) ? (option + ' ') : (option + ' ' + moduleName + '=');
        StringJoiner joiner = new StringJoiner(File.pathSeparator, prefix, "");
        joiner.setEmptyValue("");
        for (Path p : paths) {
            joiner.add(p.toString());
        }
        return joiner.toString();
    }

    @Override
    public String toString() {
        return "PathType[" + id() + "]";