Gruppe-02-clone/Dokumente/JavaDoc/client/docs/javadoc/package-search-index.js

packageSearchIndex = [{"l":"Alle Packages","u":"allpackages-index.html"},{"l":"pp.battleship.client"},{"l":"pp.battleship.client.gui"},{"l":"pp.battleship.server"}];updateSearchResults();