これは、jetty-web.xml を新規作成するたびに使用される組み込みテンプレートです