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); }