eclipse

delete workspace
Preferences >> General >> Startup and Shutdown >> Workspaces.

force refresh
Preferences >> General >> Workspaces >> refresh using native hooks or polling

eclipse,布布扣,bubuko.com