Dear JOSM devs, I would like to ask about the difference between installing and upgrading JOSM plugin. In my case, the installation does not the restart of JOSM [1]. However, when the plugin is upgraded, the new functionality does not work until restart.
The plugin adds JMenu with multiple options. Thanks, jiri [1]: https://josm.openstreetmap.de/wiki/DevelopersGuide/PluginInstallationWithoutRestart
