Drop XMLEventReader from scala.xml.Properties.pickJarBasedOn

ashawley · ashawley · commit a8bfc11ae840 · 2019-04-18T10:07:45.000-04:00
diff --git a/shared/src/main/scala/scala/xml/XML.scala b/shared/src/main/scala/scala/xml/XML.scala
@@ -117,5 +117,5 @@ object XML extends XMLLoader[Elem] {
 
 object Properties extends scala.util.PropertiesTrait {
   protected def propCategory    = "scala-xml"
-  protected def pickJarBasedOn  = classOf[scala.xml.pull.XMLEventReader]
+  protected def pickJarBasedOn  = classOf[scala.xml.Node]
 }

Original file line number	Diff line number	Diff line change
`@@ -117,5 +117,5 @@ object XML extends XMLLoader[Elem] {`
`117`	`117`
`118`	`118`	`object Properties extends scala.util.PropertiesTrait {`
`119`	`119`	`protected def propCategory = "scala-xml"`
`120`		`- protected def pickJarBasedOn = classOf[scala.xml.pull.XMLEventReader]`
	`120`	`+ protected def pickJarBasedOn = classOf[scala.xml.Node]`
`121`	`121`	`}`