option
    <+ stage-option
    <+ session-timeout-option
    <+ webdsl-verbose-option
    <+ disable-typecheck-option
    <+ only-typecheck

 execution of the web application")
    )

  if-debug(s) = if where(WebDSLDebug) then s end

  session-timeout-option =
    ArgOption("--session-timeout"
    , ?time; rules( SessionTimeout := time )
    , !HelpString("--session-timeout n", "Set session timeout to n minutes"

then><property name="sessiontimeoutoption" value="--session-timeout 1440"/></then>
          <else><property name="sessiontimeoutoption" value="--session-timeout ${sessiontimeout}"/></else>
        </if>
        <if>
          <equals arg1="${formatjavacode}" arg2="true" />