/ ‘workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/infosyn/.markers’
< ‘workspace/.metadata/.plugins/org.eclipse.core.resources/.root/2.tree’
> ‘workspace/.metadata/.plugins/org.eclipse.core.resources/.root/3.tree’
/ ‘workspace/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources’
/ ‘workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.launching.prefs’
/ ‘workspace/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi’
/ ‘workspace/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps’