eclipse-rdf4jGH-5064: experimental move to Tomcat 9 and Jetty 12

Signed-off-by: Bart Hanssens <[email protected]>

docker/Dockerfile-jetty

@@ -16,15 +16,14 @@ LABEL org.opencontainers.image.authors="Bart Hanssens ([email protected]
 
 USER root
 
-ENV JAVA_OPTIONS="-Dorg.eclipse.rdf4j.rio.jsonld_secure_mode=false"
+ENV JAVA_OPTIONS="-Dorg.eclipse.rdf4j.appdata.basedir=/var/rdf4j -Dorg.eclipse.rdf4j.rio.jsonld_secure_mode=false"
 ENV JETTY_MODULES="logging-jetty,requestlog"
 
 COPY --from=temp /tmp/eclipse-rdf4j*/war/*.war /var/lib/jetty/webapps/
 
 # mimic Tomcat directories for data and logs
 
 RUN	ln -s /usr/local/jetty/logs /var/lib/jetty/logs && \
-	ln -s /var/lib/.RDFJ /var/rdf4j && \
 	mkdir -p /usr/local/jetty/logs && \
 	chown -R jetty:jetty /usr/local/jetty/logs && \
 	chown -R jetty:jetty /var/rdf4j && \

docker/Dockerfile-tomcat

@@ -11,7 +11,7 @@ WORKDIR /tmp
 RUN unzip -q /tmp/rdf4j.zip
 
 # Final workbench
-FROM tomcat:10-jre17-temurin
+FROM tomcat:9-jre17-temurin
 MAINTAINER Bart Hanssens ([email protected])
 
 RUN apt-get clean && apt-get update && apt-get upgrade -y && apt-get clean