+ ‘.metadata/.plugins/org.eclipse.jdt.core/2595449677.index’
+ ‘.metadata/.plugins/org.eclipse.jdt.core/3530330359.index’
+ ‘.metadata/.plugins/org.eclipse.jdt.core/551045606.index’
+ ‘.metadata/.plugins/org.eclipse.jdt.core/653864327.index’
/ ‘.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt’