<?xml version="1.0"?>
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "https://jetty.org/configure_10_0.dtd">

<Configure>
  <Call class="org.eclipse.jetty.util.PidFile" name="create">
    <Arg name="file"><Property name="jetty.pid" default="jetty.pid"/></Arg>
  </Call>
</Configure>
