settings.setRetainRedundantCasts(options.getRetainRedundantCasts());
settings.setShowSyntheticMembers(options.getShowSyntheticMembers());
settings.setShowNestedTypes(options.getShowNestedTypes());
settings.setOutputDirectory(options.getOutputDirectory());
settings.setIncludeLineNumbersInBytecode(options.getIncludeLineNumbers());
settings.setTypeLoader(new InputTypeLoader());
final StringWriter writer = new StringWriter();
final ITextOutput printer = new AnsiTextOutput(writer);
if (options.isRawBytecode()) {