Use current Rodin update site instead of our Rodin 3.4 mirror

org.eventb.texteditor.parent/pom.xml

@@ -13,21 +13,21 @@
 	<repositories>
 		<!-- configure p2 repository to resolve against -->
 		<repository>
-			<id>targetRepository0</id>
+			<id>eclipse</id>
 			<layout>p2</layout>
-			<url>http://download.eclipse.org/releases/2020-06</url>
+			<url>https://download.eclipse.org/releases/2022-03/</url>
 		</repository>
 
 		<repository>
-			<id>targetRepository1</id>
+			<id>rodin_core</id>
 			<layout>p2</layout>
-			<url>http://rodin-b-sharp.sourceforge.net/updates</url>
+			<url>https://rodin-b-sharp.sourceforge.net/core-updates/</url>
 		</repository>
 
 		<repository>
-			<id>targetRepository2</id>
+			<id>rodin_plugins</id>
 			<layout>p2</layout>
-			<url>https://stups.hhu-hosting.de/buildlibs/org.rodinp.dev</url>
+			<url>https://rodin-b-sharp.sourceforge.net/updates/</url>
 		</repository>
 	</repositories>