<commit_before><?xml version="1.0" encoding="UTF-8"?>

<web-app xmlns="http://java.sun.com/xml/ns/javaee"
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://java.sun.com/xml/ns/javaee http://java.sun.com/xml/ns/javaee/web-app_3_0.xsd"
         version="3.0">
  <display-name>Annis corpus Search gui</display-name>
  <session-config>
    <session-timeout>4</session-timeout>
  </session-config>
  <context-param>
    <param-name>heartbeatInterval</param-name>
    <param-value>15</param-value>
  </context-param>
  <context-param>
    <description>Vaadin production mode</description>
    <param-name>productionMode</param-name>
    <param-value>true</param-value>
  </context-param>
  
  <context-param>
    <description>Kickstarter Environment mode</description>
    <param-name>kickstarterEnvironment</param-name>
    <param-value>false</param-value>
  </context-param>
  
  <servlet>
    <servlet-name>VaadinUI</servlet-name>
    <servlet-class>com.vaadin.server.VaadinServlet</servlet-class>
    <init-param>
      <param-name>UIProvider</param-name>
      <param-value>annis.gui.AnnisUIProvider</param-value>
    </init-param>
    <init-param>
      <description>
        Application widgetset
      </description>
      <param-name>widgetset</param-name>        	
      <param-value>annis.gui.widgets.gwt.AnnisWidgetSet</param-value>
    </init-param>
    <async-supported>true</async-supported>
  </servlet>
 <commit_msg>increase session timeout to reduce the possibility of a session being closed until the fix for https://dev.vaadin.com/ticket/14465 is released<commit_after><?xml version="1.0" encoding="UTF-8"?>

<web-app xmlns="http://java.sun.com/xml/ns/javaee"
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://java.sun.com/xml/ns/javaee http://java.sun.com/xml/ns/javaee/web-app_3_0.xsd"
         version="3.0">
  <display-name>Annis corpus Search gui</display-name>
  <session-config>
    <session-timeout>20</session-timeout>
  </session-config>
  <context-param>
    <param-name>heartbeatInterval</param-name>
    <param-value>120</param-value>
  </context-param>
  <context-param>
    <description>Vaadin production mode</description>
    <param-name>productionMode</param-name>
    <param-value>true</param-value>
  </context-param>
  
  <context-param>
    <description>Kickstarter Environment mode</description>
    <param-name>kickstarterEnvironment</param-name>
    <param-value>false</param-value>
  </context-param>
  
  <servlet>
    <servlet-name>VaadinUI</servlet-name>
    <servlet-class>com.vaadin.server.VaadinServlet</servlet-class>
    <init-param>
      <param-name>UIProvider</param-name>
      <param-value>annis.gui.AnnisUIProvider</param-value>
    </init-param>
    <init-param>
      <description>
        Application widgetset
      </description>
      <param-name>widgetset</param-name>        	
      <param-value>annis.gui.widgets.gwt.AnnisWidgetSet</param-value>
    </init-param>
    <async-supported>true</async-supported>
  </servlet>
 
{'fraction_non_alphanumeric': 0.16055789815115148, 'fraction_numerical': 0.012001297437560817, 'mean_word_length': 3.42467718794835, 'pattern_counts': {'":': 0, '<': 107, '<?xml version=': 2, '>': 107, 'https://': 1, 'lorem ipsum': 0, 'www.': 2, 'xml': 12}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6426597', 'n_tokens_mistral': 1085, 'n_tokens_neox': 1039, 'n_words': 120}