diff --git a/src/main/java/org/jboss/jandex/Main.java b/src/main/java/org/jboss/jandex/Main.java index aa6702c7..28bf457d 100644 --- a/src/main/java/org/jboss/jandex/Main.java +++ b/src/main/java/org/jboss/jandex/Main.java @@ -98,6 +98,7 @@ private void dumpIndex(File source) throws IOException { long start = System.currentTimeMillis(); Index index = reader.read(); long end = System.currentTimeMillis() - start; + System.out.println("Dump index v" + reader.getIndexVersion() + " (current: v" + IndexWriterV2.MAX_VERSION + ") file: " + source); index.printAnnotations(); index.printSubclasses();