upgrading to vaadin 7.1.3 and removing some of the "VaadinSession.getCurrent().lock()" idioms
refactoring the search result panel
ExecutorService is not serializable
Revert "refactoring the search result panel"

This reverts commit e70f6306afe57120a54c72fee4c74163c745aae2.
making the query threading process more easy (layouting does not work yet as expected)
throttle the pushes in resultfetchthread
use manual push and a dynamic global polling mechanism
do not use our own servlet and fix the firefox "no content" bug
throttle push requests to maximal one push in 1 second
better logics and remove the extra push at the end
re-enabled the corpus selection changed listener
re-enabling the visualizer toggle
actuall show the "searching for ..." message
count query was disabled for testing
do not add multiple Query Result tabs
export needs manual push
improving cancelation and also make the timer transient
more dynamic and smooth result rendering with callback
updating to vaadin 7.1.4
do not execute callbacks forever