Update catroid/.settings/org.eclipse.core.resources.prefs