JavaSearch Database info file
dbName:../../doc/vmspec/
docPathPrefix:
docURLPrefix:
description:JavaSearch database created with 'javaindex'
