af635f00f0fd2dc5a3596166dca9419a5a757e3c
-rw-r--r-- 642 org.eclipse.jdt.core.prefs