Rewrite APT sources to HTTPS.

Also, use consistent docker image naming.

See #2173

Author: mp911de

ci/openjdk17-redis6.2/Dockerfile renamed to ci/openjdk17-redis-6.2/Dockerfile

@@ -1,11 +1,10 @@
-# Custom OpenJDK 17 Docker Image
 FROM openjdk:17-bullseye
 
 # Copy Spring Data Redis's Makefile into the container
 COPY ./Makefile /
 
-# Install Redis 6.2
 RUN set -eux; \
+	sed -i -e 's/http/https/g' /etc/apt/sources.list ; \
 	apt-get update ; \
 	apt-get install -y build-essential ; \
 	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.4; \