print HEADER <<EOT;
<?xml version="1.0" encoding="ISO-8859-1"?>
-<rdf:RDF xml:lang="en" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:h="http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#">
+<rdf:RDF xml:lang="en" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:h="http://www.cs.unibo.it/helm/schemas/schema-h.rdf#">
<h:Object rdf:about="$uri">
EOT
close(HEADER);
X.xml_nempty "rdf:RDF"
["xml:lang","en" ;
"xmlns:rdf","http://www.w3.org/1999/02/22-rdf-syntax-ns#";
- "xmlns:h","http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
+ "xmlns:h","http://www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
(try
Stream.empty content ; (* raise Stream.failure if not empty *)