100644 blob e0c432e882373b33129c35909a376080ffcd1543	org.eclipse.core.resources.prefs
100644 blob 5a0ad22d2a76684139fad95f6b8d209c7cd0d078	org.eclipse.core.runtime.prefs
100644 blob 65d7df5f66f76bd1fc86c114df0259d14a650cc8	org.eclipse.jdt.core.prefs
100644 blob 89976e93fb47c17fe6bfc362c703793875fbe840	"org.eclipse.ocl.examples.consumers.tests \050standalone\051.launch"