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: 
  # To connect to the container with a bash shell
  # > docker exec -i -t {container_name} /bin/bash
  
  FROM jetty:9.3-jre8
  
  MAINTAINER Luca Foppiano <luca.foppiano@inria.fr>, Patrice Lopez <patrice.lopez@science-miner.org>
  