30bc51e6c6edb95fe233cbf137e16adaa41a8f16
-rw-r--r-- 36114 org.eclipse.jdt.core.prefs
-rw-r--r-- 3027 org.eclipse.jdt.ui.prefs