...

    protected int resultDocIdsCacheSize = 20;

    protected String cookieName = "fsid";

    protected String cookieDomain;

    protected int cookieMaxAge = 30 * 24 * 60 * 60;// 1 month

    protected String cookiePath = "/";

    protected Boolean cookieSecure;

    protected boolean httpOnly = true;

    public String getUserCode() {

this},it.startOf=function(e){switch(e=O(e)){case"year":this.month(0);case"quarter":case"month":this.date(1);case"week":case"isoWeek":case"day":case"date":this.hours(0);case"hour":this.minutes(0);case"minute":this.seconds(0);case"second":this.milliseconds(0)}return"week"===e&&this.weekday(0),"isoWeek"===e&&this.isoWeekday(1),"quarter"===e&&this.month(3*Math.floor(this.month()/3)),this},it.subtract=Za,it.toArray=function(){var e=this;return[e.year(),e.month(),e.date(),e.hour(),e.minute(),e.second(),e.millis...

nner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner,button::-moz-focus-inner{padding:0;border-style:none}input[type=checkbox],input[type=radio]{box-sizing:border-box;padding:0}input[type=date],input[type=datetime-local],input[type=month],input[type=time]{-webkit-appearance:listbox}textarea{overflow:auto;resize:vertical}fieldset{min-width:0;padding:0;margin:0;border:0}legend{display:block;width:100%;max-width:100%;padding:0;margin-bottom:.5rem;font-size:1.5rem;line-height:inherit;...

input[type=\"checkbox\"] {\n  box-sizing: border-box; // 1. Add the correct box sizing in IE 10-\n  padding: 0; // 2. Remove the padding in IE 10-\n}\n\n\ninput[type=\"date\"],\ninput[type=\"time\"],\ninput[type=\"datetime-local\"],\ninput[type=\"month\"] {\n  // Remove the default appearance of temporal inputs to avoid a Mobile Safari\n  // bug where setting a custom line-height prevents text from being vertically\n  // centered within the input.\n  // See https://bugs.webkit.org/show_bug.cgi?id=139848\n...

labels.advance_search_timestamp_default=anytime
labels.advance_search_timestamp_pastday=past 24 hours
labels.advance_search_timestamp_pastweek=past week
labels.advance_search_timestamp_pastmonth=past month
labels.advance_search_timestamp_pastyear=past year
labels.searchlog_configuration=Search Log
labels.searchlog_title=Search Log
labels.searchlog_log_type=Log Type
labels.searchlog_log_type_search=Search Log

    /** The key of the message: Past Week */
    public static final String LABELS_facet_timestamp_1week = "{labels.facet_timestamp_1week}";

    /** The key of the message: Past Month */
    public static final String LABELS_facet_timestamp_1month = "{labels.facet_timestamp_1month}";

    /** The key of the message: Past Year */

labels.facet_label_title=Label
labels.facet_timestamp_title=Date Range
labels.facet_timestamp_1day=Past 24 Hours
labels.facet_timestamp_1week=Past Week
labels.facet_timestamp_1month=Past Month
labels.facet_timestamp_1year=Past Year
labels.facet_timestamp_3month=Past 3 Months
labels.facet_timestamp_6month=Past 6 Months
labels.facet_timestamp_2year=Past 2 Years
labels.facet_timestamp_3year=Past 3 Years

labels.facet_label_title=Label
labels.facet_timestamp_title=Date Range
labels.facet_timestamp_1day=Past 24 Hours
labels.facet_timestamp_1week=Past Week
labels.facet_timestamp_1month=Past Month
labels.facet_timestamp_1year=Past Year
labels.facet_timestamp_3month=Past 3 Months
labels.facet_timestamp_6month=Past 6 Months
labels.facet_timestamp_2year=Past 2 Years
labels.facet_timestamp_3year=Past 3 Years

nner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner,button::-moz-focus-inner{padding:0;border-style:none}input[type=checkbox],input[type=radio]{box-sizing:border-box;padding:0}input[type=date],input[type=datetime-local],input[type=month],input[type=time]{-webkit-appearance:listbox}textarea{overflow:auto;resize:vertical}fieldset{min-width:0;padding:0;margin:0;border:0}legend{display:block;width:100%;max-width:100%;padding:0;margin-bottom:.5rem;font-size:1.5rem;line-height:inherit;...