title: eclipse: explicitly saving project / workspace
body: <p>Is there a way to force Eclipse to save project / workspace settings? I can't find a "save workspace" or "save project" command.</p>
  
  <p>(I've never had a problem with this in Eclipse, but TI's Code Composer 4 is based on Eclipse and it sometimes crashes and doesn't retain the changes I made in project settings.)</p>