Update dependency org.eclipse.platform:org.eclipse.core.resources to v3.23.0

Author: renovate[bot]

eclipse-standalone/build.gradle

@@ -4,7 +4,7 @@ plugins {
 
 dependencies {
     api files("libs/org.eclipse.jdt.core-3.28.0.jar")
-    api("org.eclipse.platform:org.eclipse.core.resources:3.20.0")
+    api("org.eclipse.platform:org.eclipse.core.resources:3.23.0")
     api("org.eclipse.platform:org.eclipse.core.runtime:3.31.0")
     api("org.eclipse.platform:org.eclipse.core.filesystem:1.10.200")
     api("org.eclipse.platform:org.eclipse.text:3.12.0")