dbf107093c55b7997127c162fbfe187c65fbf6e1
-rw-r--r-- 36948 org.eclipse.jdt.core.prefs
-rw-r--r-- 3015 org.eclipse.jdt.ui.prefs