+ ‘.settings/org.eclipse.core.resources.prefs’
/ ‘run.py’