private void dumpIndex(File source) throws IOException {
FileInputStream input = new FileInputStream(source);
IndexReader reader = new IndexReader(input);
long start = System.currentTimeMillis();
Index index = reader.read();
long end = System.currentTimeMillis() - start;
index.printAnnotations();
index.printSubclasses();
System.out.printf("\nRead %s in %.04f seconds\n", source.getName(), end / 1000.0);
}
