push Jan Reimann's contributions to GitHub, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=412507 for details