/ ‘workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt’