From 109184916f6484f78f792dbf47b946aac0808e4f Mon Sep 17 00:00:00 2001
From: Martin Lippert <mlippert@pivotal.io>
Date: Fri, 3 Jan 2020 10:16:50 +0100
Subject: [PATCH] added extra orbit repo to fulfill jdt.ls dependencies

---
 headless-services/jdt-ls-extension/pom.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/headless-services/jdt-ls-extension/pom.xml b/headless-services/jdt-ls-extension/pom.xml
index cea490f42..89fbeddf2 100644
--- a/headless-services/jdt-ls-extension/pom.xml
+++ b/headless-services/jdt-ls-extension/pom.xml
@@ -80,6 +80,12 @@
 			<!-- <url>${jdt.ls.updatesite}</url> -->
 			<url>https://download.eclipse.org/jdtls/snapshots/repository/latest/</url>
 		</repository>
+		<repository>
+			<id>specific orbit</id>
+			<layout>p2</layout>
+			<url>https://download.eclipse.org/tools/orbit/R-builds/R20170516192513/repository</url>
+		</repository>
+		
 		<repository>
 			<id>jboss-apt</id>
 			<layout>p2</layout>