From f0ca319cd31ca8ce6a2916e881dbadc245d78716 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Przemys=C5=82aw=20Gr=C4=85dzki?= Date: Thu, 14 Mar 2024 17:37:52 +0100 Subject: [PATCH] [FIBO-680]: fix: omit 'xml' prefix when generating a DTD subset in a file formatted as sorted RDF/XML MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Przemysław Grądzki --- .../org/edmcouncil/rdf_toolkit/writer/SortedRdfXmlWriter.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/org/edmcouncil/rdf_toolkit/writer/SortedRdfXmlWriter.java b/src/main/java/org/edmcouncil/rdf_toolkit/writer/SortedRdfXmlWriter.java index 5c7fd5c..7c4961f 100644 --- a/src/main/java/org/edmcouncil/rdf_toolkit/writer/SortedRdfXmlWriter.java +++ b/src/main/java/org/edmcouncil/rdf_toolkit/writer/SortedRdfXmlWriter.java @@ -210,7 +210,7 @@ protected void writeHeader(Writer out, SortedTurtleObjectList importList, String output.startDTD("rdf:RDF"); if (namespaceTable.size() > 0) { for (String prefix : prefixes) { - if (USE_GENERATED_PREFIXES || !generatedNamespaceTable.containsKey(prefix)) { + if ((USE_GENERATED_PREFIXES || !generatedNamespaceTable.containsKey(prefix)) && !"xml".equals(prefix)) { if (prefix.length() >= 1) { output.writeDtdEntity(prefix, namespaceTable.get(prefix)); }