return XMIHandler.getXMLEncoding(buffer);
return XMLHandler.getXMLEncoding(buffer);
  protected String getEncoding() throws IOException  {    if (!is.markSupported())      is = new BufferedInputStream(is);        byte[] buffer = readBuffer();    return XMIHandler.getXMLEncoding(buffer);  }  