Right now, I deploy a plugin/widget by loading it through the Jive Admin Interface. I also know that there is a way of naming a folder that is fetched automatically when restarting Jive. Is there a more instant way of deploying in a non-production environment, e.g. copying the plugin in some system location and doing a browser refresh while switching off caching? Anything like that?