100644 blob b2cb66826cb6b969eb0785176b0bbff1c39ec457	MiniOCL-BuildEverything.mwe2.launch
100644 blob 99f26c0203a7844de00dbfc56e6a35d8ed3c022c	org.eclipse.core.resources.prefs
100644 blob 5a0ad22d2a76684139fad95f6b8d209c7cd0d078	org.eclipse.core.runtime.prefs
100644 blob 0c68a61dca867ceb49e79d2402935261ec3e3809	org.eclipse.jdt.core.prefs