0d3d9a38d70af84e0cae257d47106b598cfdf13e
-rw-r--r-- 29285 org.eclipse.jdt.core.prefs
-rw-r--r-- 3091 org.eclipse.jdt.ui.prefs