export const Location = $.type("javax.xml.stream.Location");
export const XMLStreamConstants = $.type("javax.xml.stream.XMLStreamConstants");
export const XMLStreamReader = $.type("javax.xml.stream.XMLStreamReader");
