A tool to get a Java version from a class file or a JAR file