}

    public static boolean isLogFilename(final String name) {
        return name.endsWith(".log") || name.endsWith(".log.gz");
    }

    private HtmlResponse asIndexHtml() {
        return asHtml(path_AdminLog_AdminLogJsp).renderWith(data -> {
            RenderDataUtil.register(data, "logFileItems", getLogFileItems());
        });
    }

    HtmlNext path_AdminLabeltype_AdminLabeltypeEditJsp = new HtmlNext("/admin/labeltype/admin_labeltype_edit.jsp");

    /** The path of the HTML: /admin/log/admin_log.jsp */
    HtmlNext path_AdminLog_AdminLogJsp = new HtmlNext("/admin/log/admin_log.jsp");

    /** The path of the HTML: /admin/maintenance/admin_maintenance.jsp */