anchor.diff: +FROM ubuntu:18.04 as build
  +
  +ENV TINI_VERSION v0.18.0
  +RUN apt update && apt install wget -y
  +RUN wget -o /dmp https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini \
  +    && chmod +x /tini
  +
   FROM openjdk:10.0.2-13-jre-slim-sid
   
   LABEL maintainer="H.Hegardt <henrikhegardtgithub@gmail.com>"
  
positive.code: ENV JITSTATIC_CONF config.yml
  ENV JAVA_OPTS=
  
  RUN apt update && apt-mark hold dash && apt upgrade -y && apt install less
  
  WORKDIR ${WORK_DIR}
  
  
negative.code: 
  EXPOSE 8085
  
  ENTRYPOINT ["/tini","--"]
  
  CMD /usr/bin/java ${JAVA_OPTS} -Ddw.hosted.basePath=${VOL} -Ddw.hosted.userName=${USER} -Ddw.hosted.secret=${PASS} -jar ${WORK_DIR}/${JITSTATIC_FILE} server ${WORK_DIR}/${JITSTATIC_CONF}
   