programmieren-2-java/u16/doc/tag-search-index.js

tagSearchIndex = [];updateSearchResults();