usually, if we use the site to update those plugin, the old version will be deleted automatically. But, if we duplicate new version to the plugin direction by handl, then we still need delete the old version manually.
Correct me if I am wrong --- from the above discussion I a got to know if we do manual upgrading then we have to delete the old jars but if we use site to update then we need not have to do as its automatically done by site. Right?
Is this consistent with third party plugins? I used the update manager to update the GWT plugin and the old one was still there and needed manual removal. Plus I've never not used the site to update...