add / update p2 repositories

org.eventb.texteditor.parent/pom.xml

@@ -18,13 +18,13 @@
 	<repository>
 	  <id>targetRepository0</id>
 	  <layout>p2</layout>
-	  <url>http://download.eclipse.org/releases/oxygen/</url>
+	  <url>http://download.eclipse.org/releases/2020-06</url>
 	</repository>
 
 	<repository>
 	  <id>targetRepository1</id>
 	  <layout>p2</layout>
-	  <url>http://download.eclipse.org/modeling/emf/compare/updates/releases/</url>
+	  <url>http://rodin-b-sharp.sourceforge.net/updates</url>
 	</repository>
 
 	<repository>
@@ -33,13 +33,6 @@
 	  <url>https://www3.hhu.de/stups/buildlibs/org.rodinp.dev</url>
 	</repository>
 
-	<repository>
-	  <id>targetRepository3</id>
-	  <layout>p2</layout>
-	  <url>http://rodin-b-sharp.sourceforge.net/updates</url>
-	</repository>
-
-
   </repositories>
 
 	<build>