Files left on server when delete from a widget

1) Create a widget with several source files
2) use ant deploy-widget
3) delete one of the source files
4) use ant deploy-widget

result - the deleted file is still accessible on the web server by the client running in the browser.
desired - proper sync - eg all widget files should be removed from the web server before copying the new widgets files