316784b71af591aaaa270abd406942126f99e3ad
-rw-r--r-- 55 org.eclipse.core.resources.prefs
-rw-r--r-- 48 org.eclipse.core.runtime.prefs
-rw-r--r-- 400 org.eclipse.jdt.core.prefs