<?xml version="1.0"?>
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "http://www.eclipse.org/jetty/configure_9_0.dtd">

<!-- =============================================================== -->
<!-- Mixin the Start FileNoticeLifeCycleListener                     -->
<!-- =============================================================== -->
<Configure id="Server" class="org.eclipse.jetty.server.Server">
  <Call name="addLifeCycleListener">
    <Arg>
      <New class="org.eclipse.jetty.util.component.FileNoticeLifeCycleListener">
	<Arg><SystemProperty name="jetty.state" default="./jetty.state"/></Arg>
      </New>
    </Arg>
  </Call>
</Configure>