[OSM-dev] JOSM Jumbo patch v8 (JOSM and validator enhancements)

[Dave Hansen]

There was something wrong with my publishing scripts and I was copying
old versions of the validator plugin from _my_ end.  Can you try version
014?

-- Dave