void output(Document aDocument, OutputStream anOut, String anEncoding){
　Transformer transformer = TransformerFactory.newInstance().newTransformer();
　transformer.setOutputProperty(OutputKeys.ENCODING, anEncoding);
　transformer.transform(new DOMSource(aDocument), new StreamResult(anOut));
}