A Jenkins CI plugin removing modules from workspaces when they're removed from a jobs SVN configuration.