From ae73dbfbc448750fea8152ff5fe045ea9c161e55 Mon Sep 17 00:00:00 2001
From: Werner Randelshofer <werner.randelshofer@fibermail.ch>
Date: Fri, 9 Aug 2024 08:20:08 +0200
Subject: [PATCH] Fix compilation error.

---
 .../jhotdraw8/xml/IndentingXMLStreamWriter.java    | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

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