/**
     * Returns the path to an alternate user settings file.
     *
     * @return an {@link Optional} containing the file path, or empty if not set
     */
    @Nonnull
    Optional<String> altUserSettings();

    /**
     * Returns the path to an alternate project settings file.
     *
     * @return an {@link Optional} containing the file path, or empty if not set
     */
    @Nonnull