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 *)