Making Index more robust
Widened org.eclipse.jdt.core version