anchor.diff:  # > docker rm $(docker ps -a -q)
   
   # - remove all untagged images
  -# > docker rmi $(docker images | grep "^<none>" | awk "{print $3}")+# > docker rmi $(docker images | grep "^<none>" | awk "{print $3}")
  +
  +# - "Cannot connect to the Docker daemon. Is the docker daemon running on this host?"
  +# > docker-machine restart
positive.code: 
  ENV JAVA_OPTS=-Xmx4g
  
  VOLUME /opt/grobid-home/tmp
  
  RUN apt-get update && apt-get -y --no-install-recommends install libxml2
  
  ADD ./grobid-home/target/grobid-home-${GROBID_VERSION}.zip /opt
  
negative.code: 
  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:
  
  