anchor.diff:  
   COPY ./grobid-service/target/grobid-service-${GROBID_VERSION}.war /var/lib/jetty/webapps/ROOT.war
   
  +# Workaround otherwise the tmp directory is not writeable (owner is root)
  +RUN mkdir /opt/grobid-home/tmp
  +RUN chown -R jetty:jetty /opt/grobid-home/
  +VOLUME /opt/grobid-home/tmp
   
   ## Docker tricks:
   
  
positive.code: # > docker rm $(docker ps -a -q)
  
  # - remove all untagged images
  # > docker rmi $(docker images | grep "^<none>" | awk "{print $3}")
negative.code: 
  ENV JAVA_OPTS=-Xmx4g
  
  RUN apt-get update && apt-get -y --no-install-recommends install libxml2
  
  ADD ./grobid-home/target/grobid-home-${GROBID_VERSION}.zip /opt
  