+ ‘workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs’
+ ‘workspace/.metadata/.plugins/org.eclipse.jdt.core/’
+ ‘workspace/.metadata/.plugins/org.eclipse.jdt.ui/’
+ ‘workspace/.metadata/.plugins/org.eclipse.ui.workbench/workingsets.xml’