Maybe eclipse does that then for the registry entries. They were in there at any rate.
Yes, I normally don't have these restrictions on setting up a new workspace, but it's all specifically configured so that everyones local eclipse is the same for the deployments. I'm not sure if I can start over from scratch, but I'll let you know how it comes out.