ずっと、JavaのプログラムでHTTPヘッダの"User-Agent"を設定するには、システムプロパティの"http.agent"を設定するのかと思っていたのですが、これだと実際にはUser-Agentの末尾に"Java/"＋JREのバージョンが付加されてしまうようです。URLConnectionのsetR…