anchor.diff:  ARG IDP_URL=https://shibboleth.net/downloads/identity-provider/latest4/shibboleth-identity-provider-4.1.0.tar.gz
   ARG IDP_CHECKSUM=46fe154859f9f1557acd1ae26ee9ac82ded938af52a7dec0b18adbf5bb4510e9
   ARG EDWIN_STARR=0
  +ARG DELAY_WAR=1
   
   ARG IDP_HOSTNAME=idp.example.com
   ARG IDP_ID=https://idp.example.com/idp/shibboleth
  
positive.code:     mkdir -p $IDP_HOME/logs && chown -R jetty $IDP_HOME/logs && chmod 0770 $IDP_HOME/logs && \
      mkdir $ADMIN_HOME && \
      rm -rf /usr/local/src/* && \
      if [ "${EDWIN_STARR}" -gt "0" ] ; then rm -fv $IDP_HOME/war/* ; fi
  
  COPY optfs /opt
  
negative.code: ARG LDAP_PROPERTIES=""
  ARG LDAP_PROPERTIES_FILE="$SRC_DIR/ldap.properties"
  ARG MODULES="idp.authn.Password,idp.admin.Hello"
  ARG PLUGINS="https://shibboleth.net/downloads/identity-provider/plugins/oidc-common/1.0.0/oidc-common-dist-1.0.0.tar.gz"
  ARG PLUGIN_MODULES=""
  
  ENV JAVA_HOME=/usr/lib/jvm/java-11-amazon-corretto \
      JETTY_HOME=/opt/jetty \
  