fix: replace deprecated openjdk:17-slim with eclipse-temurin:17-jdk-jammy in sec-reach-003

LoCoBench Bot · claude · LoCoBench Bot · commit e095c0f4bb5b · 2026-02-16T23:17:27.000Z
The openjdk:17-slim Docker image is no longer available on Docker Hub,
causing sec-reach-003 to fail on both baseline and SG_full configs.

Co-Authored-By: Claude Opus 4.6 &lt;noreply@anthropic.com&gt;
diff --git a/benchmarks/ccb_security/sec-reach-003/environment/Dockerfile b/benchmarks/ccb_security/sec-reach-003/environment/Dockerfile
@@ -1,4 +1,4 @@
-FROM openjdk:17-slim
+FROM eclipse-temurin:17-jdk-jammy
 
 # Install required tools for verification
 RUN apt-get update && apt-get install -y \

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM openjdk:17-slim`
	`1`	`+FROM eclipse-temurin:17-jdk-jammy`
`2`	`2`
`3`	`3`	`# Install required tools for verification`
`4`	`4`	`RUN apt-get update && apt-get install -y \`