refactoring the LoginServlet to a RequestHandler in order to have the Vaadin Session available
Merged 'develop'.
avoid null pointer exception when debugging with inspect(...)
use a separate map of token positions for each alternative
adding a new good test query
fixing failed tests: we did not count the node ids correctly when local map was used