adding help for making a new release
updating license information
deleted file that should have been ignored
we have to include the transitive javascript dependencies for annis-gui manually...
allow empty postgresql administration password on initialization
better information for building ("patch") and links
redmine wiki leftover
updating to Vaadin 7.0.2
re-adding SimpleTextExporter, fixes #58
refactor CountThread to Callable and store the last tasks
preparations for using the AsyncResource (Jersey) and the Refresher
get count and matches with new asynchronous REST API
improved error handling
allow to cancel query in GUI (does not work in service yet) and wait maxmimal 1 second for query validation in order to be more stable
updating jersey and jetty dependencies
do not give the user to cancel the query on client side, only disable the "Show Result" button

also clarify the meaning of "cancelQueries()" in javadoc and make it private to avoid mis-use
Merge pull request #94 from thomaskrause/queryrefreshcleanup

Use asynchronous REST client
ddd instance updated
Merge branch 'master' of https://github.com/korpling/ANNIS
scroll to first selected corpus if programmatically selected