57b87cfb4c95678f6c5a12216c4e2fa2c8536afd
-rw-r--r-- 28929 org.eclipse.jdt.core.prefs
-rw-r--r-- 86 org.eclipse.jdt.ui.prefs