<?xml version="1.0"?>
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "https://jetty.org/configure_9_3.dtd">
 
<Configure id="Server" class="org.eclipse.jetty.server.Server">
  <Call name="addBean">
    <Arg>
      <New class="org.jminix.console.tool.StandaloneMiniConsole">
        <Arg type="int"><Property name="jminix.port" default="8088" /></Arg>
      </New>
    </Arg>
  </Call>
</Configure>
