How to manually specify a proxy server for josm
https://josm.openstreetmap.de/wiki/Help/Preferences/ProxyPreference
ok,thanks ,,,,,