else
{
out.println("<!-- Parsing actions from " + url + " -->");
// we have no way of knowing the swf version, so assume latest
URLConnection connection = url.openConnection();
ActionDecoder actionDecoder = new ActionDecoder(new SwfDecoder(connection.getInputStream(), 7));
actionDecoder.setKeepOffsets(true);
ActionList actions = actionDecoder.decode(connection.getContentLength());
SwfxPrinter printer = new SwfxPrinter(out);
printer.decompile = decompileOption;
printer.defunc = defuncOption;
printer.printActions(actions);
}