100644 blob e0c432e882373b33129c35909a376080ffcd1543	org.eclipse.core.resources.prefs
100644 blob 5a0ad22d2a76684139fad95f6b8d209c7cd0d078	org.eclipse.core.runtime.prefs
100644 blob ef8a789ca023fbae6a38ec202a1c1450598a792b	org.eclipse.jdt.core.prefs
100644 blob f04f1b94994956ab0003a99ab35f8e031810e2e0	org.eclipse.ocl.modelregistry