diff --git a/Doc/Sda1/dom.xml b/Doc/Sda1/dom.xml index e462e68dc92ef31d3a801347eecc729551971840..c7b2964d1ac100717cf1387c96bbdf997b443f04 100644 --- a/Doc/Sda1/dom.xml +++ b/Doc/Sda1/dom.xml @@ -1415,7 +1415,8 @@ public class Article2Html { * @throws JDOMException General parsing fault * @throws IOException file access problem */ - public void Optional<String> (final String xhtmlFilename) throws JDOMException, IOException { + public Optional<String> process(final String xhtmlFilename) + throws JDOMException, IOException { final Document htmlInput = builder.build(xhtmlFilename); <co linkends="programlisting_java_searchimg_parse_co" diff --git a/P/Sda1/NoCast/src/main/java/de/hdm_stuttgart/mi/sda1/nocast/DomXpath.java b/P/Sda1/NoCast/src/main/java/de/hdm_stuttgart/mi/sda1/nocast/DomXpath.java index acd9cf7e1377cceab5087415ebad531a437d287c..42cad97349cbcc86da734929fe278da67e1fca45 100644 --- a/P/Sda1/NoCast/src/main/java/de/hdm_stuttgart/mi/sda1/nocast/DomXpath.java +++ b/P/Sda1/NoCast/src/main/java/de/hdm_stuttgart/mi/sda1/nocast/DomXpath.java @@ -29,7 +29,8 @@ public class DomXpath { * @throws JDOMException General parsing fault * @throws IOException file access problem */ - public Optional<String> process(final String xhtmlFilename) throws JDOMException, IOException { + public Optional<String> process(final String xhtmlFilename) + throws JDOMException, IOException { final Document htmlInput = builder.build(xhtmlFilename);