65     }
  66 
  67     public void setDefaultNamespace(java.lang.String uri) throws XMLStreamException {
  68     }
  69 
  70     public void setNamespaceContext(NamespaceContext context) throws XMLStreamException {
  71     }
  72 
  73     public NamespaceContext getNamespaceContext() {
  74         return null;
  75     }
  76 
  77     public String getVersion() {
  78         return version;
  79     }
  80 
  81     public String getEncoding() {
  82         return encoding;
  83     }
  84 }
  85 

  65     }
  66 
  67     public void setDefaultNamespace(java.lang.String uri) throws XMLStreamException {
  68     }
  69 
  70     public void setNamespaceContext(NamespaceContext context) throws XMLStreamException {
  71     }
  72 
  73     public NamespaceContext getNamespaceContext() {
  74         return null;
  75     }
  76 
  77     public String getVersion() {
  78         return version;
  79     }
  80 
  81     public String getEncoding() {
  82         return encoding;
  83     }
  84 }