The URL is generated in PluginDownLoaderOfficialHTTPS where (I think) the name of the plugin is used as name of the JAR file to load.