diff --git a/org.jhotdraw8.xml/src/main/java/org.jhotdraw8.xml/org/jhotdraw8/xml/IndentingXMLStreamWriter.java b/org.jhotdraw8.xml/src/main/java/org.jhotdraw8.xml/org/jhotdraw8/xml/IndentingXMLStreamWriter.java index eb39ee62e..23db30217 100644 --- a/org.jhotdraw8.xml/src/main/java/org.jhotdraw8.xml/org/jhotdraw8/xml/IndentingXMLStreamWriter.java +++ b/org.jhotdraw8.xml/src/main/java/org.jhotdraw8.xml/org/jhotdraw8/xml/IndentingXMLStreamWriter.java @@ -762,12 +762,7 @@ public void writeNamespace(String prefix, String namespaceURI) { @Override public void writeProcessingInstruction(String target) throws XMLStreamException { - Objects.requireNonNull(target, "target"); - closeStartTagOrCloseEmptyElemTag(); - write(START_PROCESSING_INSTRUCTION); - write(target); - write(END_PROCESSING_INSTRUCTION); - write + writeProcessingInstruction(target, ""); } @Override @@ -776,10 +771,11 @@ public void writeProcessingInstruction(String target, String data) throws XMLStr closeStartTagOrCloseEmptyElemTag(); write(START_PROCESSING_INSTRUCTION); write(target); - write(SPACE); - write(data); + if (!data.isEmpty()) { + write(SPACE); + write(data); + } write(END_PROCESSING_INSTRUCTION); - } @Override