<a title="[#109] Restore pipeline" href="https://github.com/eclipse-texlipse/texlipse/pull/115">PR #115</a>: [#109] Restore pipeline