else
token += PAIR_SEPARATOR;
token += KEY_DOC_FILTER_OPTION + DELIMITER_K_V;
token += docFilterExact ? VALUE_DOC_FILTER_EXACT : VALUE_DOC_FILTER_INEXACT;
}
<BUG>if (hasDocFilterText())
{</BUG>
if (first)
first = false;
else

else
token += PAIR_SEPARATOR;
token += KEY_VIEW + DELIMITER_K_V;
if (view == AppPresenter.Display.MainView.Editor)
{
token += VALUE_EDITOR_VIEW;
}
}
if (!getDocumentPath().equals(DEFAULT_DOCUMENT_PATH))
{
if (first)
first = false;
else
