convert structured nodes to spans if necessary
don't use splitanno as where condition in Frequency sql generator
don't call "splitanno" in select clause, instead to the splitting in the extractResult function
since we don't embed al label inside the grid cells any longer the CSS needed to be updated to display the speaker/pdf icons
do not migrate corpora by default
since we use a connection pool we have to close all idle connections in the kickstarter manuall before we can delete the old database
also accept match identifierrs only consisting of a name without a namespace
handle empty namespaces the same way as null ones
higher cache rate for better scrolling
larger font size for tutorial
there are now three pom.xml files where you have to change the vaadin version
allow to print the tutorial
show hint when the KWIC view has no token to select another base text
Merged 'develop'.
fix compile problem that occured after merge