see #8606 - Fix user-agent used with JEditorPage.setPage() or JEditorPane(URL) + fix version number from previous commit

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