A Javadoc indexing mechanism.