. 5445 deleted
./org.eclipse.jdt.core.prefs 5445 deleted
. 5397 (+0) new
./org.eclipse.jdt.core.prefs 5397 (+7) new