. 127 deleted
./org.eclipse.jdt.ui.prefs 127 deleted
. 102 (+0) new
./org.eclipse.jdt.ui.prefs 102 (+3) new