ffec994d7f3083350aad813e52d586fc6f7ee5fc
-rw-r--r-- 55 org.eclipse.core.resources.prefs
-rw-r--r-- 36114 org.eclipse.jdt.core.prefs
-rw-r--r-- 3016 org.eclipse.jdt.ui.prefs