see #8900 [patch by AlfonZ] - prevent menu-related exceptions for plugins
(force menu-adding plugins to use JOSM 6088 to compile)

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6088 0c6e7542-c601-0410-84e7-c038aed88b3b
Merge branch 'master' into mirror