id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
8606	For JOSM webstart version the user agent is not set	stoecker	team	"When the webstart is used, the user agent is simply Java/... and no longer the josm agent.

It seems the user agent value is cached somewhere, as the http.agent property is correct, but it is not used.

See also: http://wiki.nikhef.nl/grid/JGridstart/Java_user_agents for a fix (would mean to reintroduce the User-Agent header setting with a slight modification."	defect	closed	normal		Core Webstart		fixed