update terminal feature to new id

Author: martinlippert

eclipse-distribution/org.springframework.boot.ide.product/org.springframework.boot.ide.product

@@ -93,7 +93,7 @@
       <feature id="org.eclipse.wildwebdeveloper.feature" installMode="root"/>
       <feature id="org.eclipse.wildwebdeveloper.xml.feature" installMode="root"/>
 
-      <feature id="org.eclipse.tm.terminal.feature" installMode="root"/>
+      <feature id="org.eclipse.terminal.feature" installMode="root"/>
 <!--      <feature id="org.eclipse.rse" installMode="root"/> -->
       <feature id="org.eclipse.tips.feature" installMode="root"/>
 

eclipse-distribution/pom.xml

@@ -135,7 +135,7 @@
 			</properties>
 			<repositories>
 				<repository>
-					<id>2025-09</id>
+					<id>2025-12</id>
 					<layout>p2</layout>
 					<url>https://download.eclipse.org/releases/2025-12/</url>
 				</repository>