bd6150bfa922293e09fd67d6eb3b21694aee4be2
-rw-r--r-- 29763 org.eclipse.jdt.core.prefs
-rw-r--r-- 3014 org.eclipse.jdt.ui.prefs