added extra orbit repo to fulfill jdt.ls dependencies

2020-01-03 10:16:50 +01:00
parent 03b2d1c884
commit 109184916f
1 changed files with 6 additions and 0 deletions
--- 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>