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

moduleSearchIndex = [];updateSearchResults();