return output_converter.convert(out);
  }
  public static Charset encodingSpecToCharset(EObject encoding) {
    EAtom ea;
    ETuple et;
    if ((ea = encoding.testAtom()) != null) {
      if (ea.equals(LATIN1_ATOM))
        return Charset.forName("ISO-8859-1");
      else if (ea.equals(UNICODE_ATOM) ||
           ea.equals(UTF8_ATOM))
        return Charset.forName("UTF-8");
      else if (ea.equals(UTF16_ATOM))
        return Charset.forName("UTF-16BE");
    } else if ((et = encoding.testTuple()) != null) {
      EAtom ea2;
      if ((ea  = et.elm(1).testAtom()) != null &&
        (ea2 = et.elm(21).testAtom()) != null) {
        if (ea.equals(UTF16_ATOM)){
          if (ea2.equals(LITTLE_ATOM))
            return Charset.forName("UTF-16LE");
          if (ea2.equals(BIG_ATOM))
            return Charset.forName("UTF-16BE");