be16c78c6f07938d4c6f7ab4ccd9c7ff044b30be
-rw-r--r-- 23462 org.eclipse.jdt.core.prefs
-rw-r--r-- 2692 org.eclipse.jdt.ui.prefs