}
    }

    // ===================================================================================
    //                                                                              JSP
    //                                                                           =========

    /**
     * Returns HTML response for the list page.
     *
     * @return HTML response for the list page
     */

        }
    }

    // ===================================================================================
    //                                                                              JSP
    //                                                                           =========

    private HtmlResponse asListHtml() {
        return asHtml(path_AdminDataconfig_AdminDataconfigJsp).renderWith(data -> {

        // TODO validation
    }

    // ===================================================================================
    //                                                                              JSP
    //                                                                           =========

    /**
     * Redirect to the dictionary index page.
     *
     * @return HTML response redirecting to the dictionary index

    return None.INSTANCE;
  }

  /**
   * Determines whether a character is whitespace according to the latest Unicode standard, as
   * illustrated <a
   * href="http://unicode.org/cldr/utility/list-unicodeset.jsp?a=%5Cp%7Bwhitespace%7D">here</a>.
   * This is not the same definition used by other Java APIs. (See a <a
   * href="https://docs.google.com/spreadsheets/d/1kq4ECwPjHX9B8QUCTPclgsDCXYaj7T-FlT4tB5q3ahk/edit">comparison

        }
    }

    // ===================================================================================
    //                                                                              JSP
    //                                                                           =========

    private HtmlResponse asListHtml() {
        return asHtml(path_AdminAccesstoken_AdminAccesstokenJsp).renderWith(data -> {

            System.setProperty(JAVA_IO_TMPDIR, tempPath);
        }

        final TomcatBoot tomcatBoot = new FessBoot(getPort(), getContextPath()) //
                .useTldDetect(); // for JSP
        final String varPath = System.getProperty(FESS_VAR_PATH);
        if (varPath != null) {
            tomcatBoot.atBaseDir(new File(varPath, "webapp").getAbsolutePath());
        } else if (tempPath != null) {

errors.failed_to_start_crawl_process = クロールプロセスの起動に失敗しました。
errors.invalid_design_jsp_file_name = 無効なJSPファイルです。
errors.design_jsp_file_does_not_exist = JSPファイルは存在しません。
errors.design_file_name_is_not_found = ファイル名が指定されていません。
errors.failed_to_write_design_image_file = 画像ファイルをアップロードすることができませんでした。
errors.failed_to_update_jsp_file = JSPファイルの更新に失敗しました。
errors.design_file_name_is_invalid = ファイル名が無効です。

    }

    // ===================================================================================
    //                                                                              JSP
    //                                                                           =========

    private HtmlResponse asListHtml() {
        return asHtml(path_AdminUser_AdminUserJsp).renderWith(data -> {

        }
    }

    // ===================================================================================
    //                                                                              JSP
    //                                                                           =========

    private HtmlResponse asListHtml() {
        return asHtml(path_AdminPathmap_AdminPathmapJsp).renderWith(data -> {

    }

    // ===================================================================================
    //                                                                              JSP
    //                                                                           =========

    /**
     * Get the HTML response for the dictionary index page.
     * @return The HTML response.
     */