anchor.diff:  # redefine env for my_init
   RUN mkdir -p /etc/container_environment && echo "/home/ursim" > /etc/container_environment/HOME \
       && echo "ursim"  > /etc/container_environment/USER  \
  -    && echo "JAVA_HOME=\"/usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java\"" >> /etc/container_environment/JAVA_HOME
  +    && echo "JAVA_HOME=\"/usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java\"" >> /etc/container_environment/JAVA_HOME \
  +    && echo "PATH=\"/opt/ursim/ursimpkg:$PATH\"" >> /etc/container_environment/PATH
  +
  +
  +# /sbin/my_init should be launched by root user
  +ENTRYPOINT ["/sbin/my_init", "--"]
   
   # switch to user ursim, but the HOME is still /, not /home/ursim
   USER ursim
  
positive.code: ENV LANG en_US.UTF-8
  
  # install system packages
  RUN apt-get update -y && apt-get upgrade -y -q --no-install-recommends -o Dpkg::Options::="--force-confold" \
      && apt-get install -y -q --no-install-recommends apt-transport-https aptitude
  
  # install essential tools
  
negative.code: WORKDIR /home/ursim
  
  CMD ["bash", "-c", "/opt/ursim/ursimpkg/start-ursim.sh"]
  