code: public void updateFragment(DisplayedResultQuery q)
    {
      List<String> args = Helper.citationFragment(q.getQuery(), q.getCorpora(),
        q.getLeftContext(), q.getRightContext(),
        q.getSegmentation(), q.getBaseText(), q.getOffset(), q.getLimit(), q.getOrder(),
        q.getSelectedMatches());
  
      // set our fragment
      lastEvaluatedFragment = StringUtils.join(args, "&");
      UI.getCurrent().getPage().setUriFragment(lastEvaluatedFragment, false);
  
      // reset title
      Page.getCurrent().setTitle(
        ui.getInstanceConfig().getInstanceDisplayName() + " (ANNIS Corpus Search)");
    }
docs: Updates the browser address bar with the current query parameters and the
  query itself.
  
  This is for convenient reloading the vaadin app and easy copying citation
  links.
  
  @param q The query where the parameters are extracted from.