fix #9333 - Make 'jump to position" more visible (added in view menu) + update to new osm.org url scheme + fix NPE without mapview + javadoc

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