val JOSM_PLUGIN_DIST: URL
The directory in the JOSM SVN where the latest releases of JOSM plugins are stored