}
                // org.eclipse.aether.ConfigurationProperties.REQUEST_TIMEOUT => int
                if (requestTimeout != null) {
                    configProps.put(ConfigurationProperties.REQUEST_TIMEOUT + "." + server.getId(), requestTimeout);
                }
            }

    /**
     * The priority of this score booster.
     */
    protected int priority = 1;

    /**
     * The request timeout.
     */
    protected String requestTimeout = "1m";

    /**
     * The request cache size.
     */
    protected int requestCacheSize = 1000;

    /**
     * The script language.
     */
    protected String scriptLang = "painless";