Workaround for https://bugs.eclipse.org/bugs/process_bug.cgi
2 files changed