presto-main/src/main/java/io/prestosql/server/ServerConfig.java/ServerConfig/setPrestoVersion
class ServerConfig:    @Config("presto.version")
    public ServerConfig setPrestoVersion(String prestoVersion)
    {
        this.prestoVersion = prestoVersion;
        return this;
    }