./org.eclipse.jdt.ui.prefs 128 deleted
. 128 deleted
./org.eclipse.jdt.ui.prefs 85 (+3) new
. 85 (+0) new