+ ‘workspace/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index’
+ ‘workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.prefs’
+ ‘workspace/.metadata/.plugins/org.eclipse.ui.intro/’