* The option are documented in {@link org.apache.maven.api.JavaPathType} enumeration values.
     *
     * @param type the desired type of path (class-path, module-path, …)
     * @return the option to pass to Java tools
     */
    default Optional<String> formatOption(PathType type) {
        List<Path> paths = getDispatchedPaths().get(type);
        if (paths != null) {
            String option = type.option(paths);