can ignore external parsed entities if non vali...

can ignore external parsed entities if non validating

1 files changed, 6 insertions, 2 deletions

diff --git a/sources/scala/xml/parsing/MarkupHandler.scala b/sources/scala/xml/parsing/MarkupHandler.scala
index b1089a0a3b..0e84c3d529 100644
--- a/sources/scala/xml/parsing/MarkupHandler.scala
+++ b/sources/scala/xml/parsing/MarkupHandler.scala
@@ -54,8 +54,12 @@ abstract class MarkupHandler {
   def parameterEntityDecl(name: String, edef: EntityDef): Unit =
     decls = ParameterEntityDecl(name, edef) :: decls;
 
-  def parsedEntityDecl(name: String, edef: EntityDef): Unit =
-    decls = ParsedEntityDecl(name, edef) :: decls;
+  def parsedEntityDecl(name: String, edef: EntityDef): Unit = edef.match {
+    case _:ExtDef if isValidating =>
+      ; // ignore (cf 4.4.1)
+    case _ =>
+      decls = ParsedEntityDecl(name, edef) :: decls;
+  }
 
   def unparsedEntityDecl(name: String, extID: ExternalID, notat: String): Unit =
     {}