<a title="Reddeer fixes" href="https://github.com/eclipse/reddeer/pull/2222">PR #2222</a>: Reddeer fixes