bfdcc564f9e4867eed06c60cc96063f5eaad55dc
-rw-r--r-- 36114 org.eclipse.jdt.core.prefs
-rw-r--r-- 3016 org.eclipse.jdt.ui.prefs