This file is empty but is necessary for Jetty Server.