fix #8730 - Don't interpret HTML code in value JLabel of properties dialog

git-svn-id: http://josm.openstreetmap.de/svn/trunk@5975 0c6e7542-c601-0410-84e7-c038aed88b3b
fix #8724 - Add `closedway` as supported type of more `highway`s

git-svn-id: http://josm.openstreetmap.de/svn/trunk@5976 0c6e7542-c601-0410-84e7-c038aed88b3b
fix #8712 - workaround to "Comparison method violates its general contract" when sorting a collection in Java 7, disabled for local builds. Set new property `jdk.Arrays.useLegacyMergeSort` to `true` to enable the workaround for local builds.

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