From df5345aa7e4e48b5720a0f52b5a894b900333bf1 Mon Sep 17 00:00:00 2001
From: BoykoAlex <aboyko@pivotal.io>
Date: Mon, 18 Mar 2019 13:07:39 -0400
Subject: [PATCH] Update 3rd party p2 repo version

---
 eclipse-language-servers/pom.xml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/eclipse-language-servers/pom.xml b/eclipse-language-servers/pom.xml
index 93dbb97dc..c68f8bff7 100644
--- a/eclipse-language-servers/pom.xml
+++ b/eclipse-language-servers/pom.xml
@@ -90,13 +90,15 @@
 		<dist.key>TOOLS</dist.key>
 		<dist.path>${dist.type}/${dist.key}/${dist.project}/${dist.version}</dist.path>
 
+		<misc.p2.repo.version>3.9.4.201902271843</misc.p2.repo.version>
+
 	</properties>
 
-    <repositories>
-        <repository>
-		    <id>third-party-p2-site</id>
+	<repositories>
+		<repository>
+			<id>third-party-p2-site</id>
 			<layout>p2</layout>
-			<url>http://dist.springsource.com/release/TOOLS/third-party/misc-p2-repo/3.9.4.201810191512</url>
+			<url>http://dist.springsource.com/release/TOOLS/third-party/misc-p2-repo/${misc.p2.repo.version}</url>
 		</repository>
 	</repositories>