id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
202	Wrong URL sometimes generated on Windows	anonymous	josm@…	Sometimes the wrong url is generated on Windows, making it impossible to read the plugin jar.  The correct way to generate a URL from a File in Java is file.toURI().toURL() .  (file.toURL() by itself has bugs that the Java developers felt they couldn't fix without breaking backwards compatibility).	defect	closed	major		Core	tested	fixed