This is an old revision of the document!
deep can be installed and used as an eclipse plugin.
Refactoring is a very powerful tool in the eclipse framework. You can rename a deep project by choosing a project in the package explorer and pressing Shift+Alt+R. The project together with its associated deep project file will be renamed.