Fix compilation error.

wrandelshofer · Aug 9, 2024 · ae73dbf · ae73dbf
1 parent 4a10db6
commit ae73dbf
Showing 1 changed file with 5 additions and 9 deletions.
diff --git a/...draw8.xml/src/main/java/org.jhotdraw8.xml/org/jhotdraw8/xml/IndentingXMLStreamWriter.java b/...draw8.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