gretty-plugin: finished hot-deployment for jettyXXXWar tasks