XMLLoader.load(url: URL) does not include the url as a systemId in the InputSource

[scabug]

Currently, when calling load(url: URL), the original URL is not set as the systemId on the InputSource returned. If your XML documents refers to a DTD using a relative URL, then Scala will try to resolve that relative link based on the current working directory, rather than the location of the file.

So, this at the beginning of an XML file:

<!DOCTYPE countries PUBLIC "foo//bar" "./test.dtd">

will cause the parser to try to locate ./test.dtd in the current working directory. According to the JavaDoc of InputSource:

bq. The system identifier is optional if there is a byte stream or a character stream, but it is still useful to provide one, since the application can use it to resolve relative URIs and can include it in error messages and warnings (the parser will attempt to open a connection to the URI only if there is no byte stream or character stream specified).

I think this is pretty common in Java XML libraries these days. Not having it in Scala is unexpected.

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-5101?orig=1
Reporter: Wilfred Springer (wilfredspringer)
Affected Versions: 2.9.2

[scabug]

@SethTisue said:
The scala-xml library is now community-maintained. Issues with it are now tracked at /~https://github.com/scala/scala-xml/issues instead of here in the Scala JIRA.

Interested community members: if you consider this issue significant, feel free to open a new issue for it on GitHub, with links in both directions.