title: eclipse workspace: how to rename workspace
body: <p>There is no option in the file menu to rename a workspace.  Is the recommended practice to close eclipse, rename the folder, and re-open? I worry about some potential dangling references in configuration files corrupting my workspace/projects...</p>
  
  <p>Thanks!</p>