public synchronized Document readPolicy(InputStream input)
throws ParsingException {
try {
return builder.parse(input);
} catch (IOException ioe) {
throw new ParsingException("Failed to read the stream", ioe);
} catch (SAXException saxe) {
throw new ParsingException("Failed to parse the stream", saxe);
}
}