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

Author: renovate[bot]

eclipse-standalone/build.gradle

@@ -5,7 +5,7 @@ plugins {
 dependencies {
 
     api files('libs/org.eclipse.jdt.core-3.28.0.jar')
-    api 'org.eclipse.platform:org.eclipse.core.resources:3.16.100'
+    api 'org.eclipse.platform:org.eclipse.core.resources:3.20.100'
     api 'org.eclipse.platform:org.eclipse.core.runtime:3.24.100'
     api 'org.eclipse.platform:org.eclipse.core.filesystem:1.9.300'
     api 'org.eclipse.platform:org.eclipse.text:3.12.0'