f80bb85945676edcd936361250b2adf2e1b29300
-rw-r--r-- 29763 org.eclipse.jdt.core.prefs
-rw-r--r-- 3015 org.eclipse.jdt.ui.prefs