949596979899100101102
// write the document try { SourceUtil.writeDOM(xmlDoc, document.getSourceURI(), manager); } catch (Exception e) { throw new DocumentBuildException("could not write document [" + document + "], exception " + e.toString(), e); } }
224225226227228229230231232233
} } else { return false; } } catch (ServiceException e) { throw new DocumentBuildException(e); } catch (PublicationException e) { throw new DocumentBuildException(e); } }