title: Eclipse: How do I refresh an entire workspace? F5 doesn't do it
body: <p>I have a workspace with a bunch of java projects. If I go to <code>File-&gt;Refresh</code>, it doesn't really refresh anything (perhaps the currently selected project). How do I get eclipse to refresh <em>all</em> of the projects?</p>