id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1627	[PATCH] Bugfix for plugin activation	egore911@…	framm	I updated a plugin recently and I had issues when it was activated. I'm not sure if this is because of java 1.6 but File.delete() returns false if the file does not exist. But this is the case if the plugin is installed at a different place before the update. I.e. Gentoo installs all plugins to /usr/lib/josm/plugins/ and loads them from there. But updating the plugins will put them to %HOME%/.josm/plugins. And calling delete on the %HOME%/.josm/plugins file will not work. The attached patch works around that. It also verifies that the user is allowed to activate the plugins (has write-capability).	defect	closed	trivial		unspecified	latest	fixed