ClassFileParser cfparser = new ClassFileParser();
String classname = "gov.nasa.jpf.autodoc.types.parser.ClassFileParser";
ClassPath classpath = new ClassPath();
classpath.addPathName("build/main");
cfparser.parse(classname, classpath);
assertFalse(cfparser.getClassInfo().getName().isEmpty());
System.out.print(" [0] class: " + cfparser.getClassInfo().getName());
//--- No assertion for superClsName. It could be empty.