+ ‘.metadata/.plugins/org.eclipse.jdt.core/2213627627.index’
+ ‘.metadata/.plugins/org.eclipse.jdt.core/2942229790.index’
+ ‘.metadata/.plugins/org.eclipse.jdt.core/3242502532.index’
+ ‘.metadata/.plugins/org.eclipse.jdt.core/429974694.index’
/ ‘.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt’