id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
192	Deprecate Plugin.copy()	frsantos@…	josm@…	As the Plugin.getPluginDir() method is deprecated and copy() uses getPluginDir(), this method should be deprecated too.	defect	closed	major		Core	latest	fixed