A tool for collecting source APIs into a database (performed by a Doclet) and serving them as web pages