see #8384: Ctrl-Shift-V now can paste tags from text buffer like "a=2,c=3", "a 2 c 3", etc.

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