100644 blob e0c432e882373b33129c35909a376080ffcd1543	org.eclipse.core.resources.prefs
100644 blob 5a0ad22d2a76684139fad95f6b8d209c7cd0d078	org.eclipse.core.runtime.prefs
100644 blob 0cd88c0ab2233933a646d3d2ec82d9e2a245114c	org.eclipse.jdt.core.prefs
100644 blob 515dc4d85502e68695ac6fb2600f839ac799f4e7	"org.eclipse.ocl.examples.consumers.tests \050standalone\051.launch"