anchor.diff:  
   RUN apt-get -y update && apt-get -y install \
   	default-jdk \
  -	openjdk-7-jre \
   	git \
   	ant \
   	wget
  
positive.code: 
  # Download BIMserver into /webapps for autodeploy
  
  RUN wget https://github.com/opensourceBIM/BIMserver/releases/download/1.4.0-FINAL-2015-11-04/bimserver-1.4.0-FINAL-2015-11-04.war \
  	-O /opt/tomcat/webapps/BIMserver.war
  
  # Set environment paths for Tomcat
  
negative.code: RUN tar xvf /tmp/apache-tomcat-8.0.30.tar.gz -C /opt/tomcat --strip-components=1
  RUN rm -f /tmp/apache-tomcat-8.0.30.tar.gz
  
  # Set all correct permissions for group and user to install BIMserver and edit conf
  
  RUN chgrp -R tomcat /opt/tomcat/conf
  RUN chmod g+rwx /opt/tomcat/conf
  