+ ‘workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt’
+ ‘workspace/infosyn/.classpath’
+ ‘workspace/.metadata/.plugins/org.eclipse.jdt.core/3129842605.index’