System.out.println(bitstream.getHeader().toString());
System.exit(1);
}
// print XML
if (options.has(PRINT_XML_OPTION)) {
System.out.println(bitstream.toXMLString());
System.exit(1);
}
// Print full bitstream
PrintWriter pw = new PrintWriter(System.out);
bitstream.toStream(true, true, pw);