去掉Eclipse中没用的workspace

Eclipse中，有些workspace不再使用了，可以通过编辑eclipse_homeconfiguration.settings文件下的文件org.eclipse.ui.ide.prefs， 
找到“RECENT_WORKSPACES=”一句，后面的值就是workspace的路径，多个路径用“ ”分隔，想删除哪个workspace就删除对应的路径。