modified xml parsing

Author: buraq

sources/scala/xml/AttributeSeq.scala

@@ -9,20 +9,20 @@
 
 package scala.xml ;
 
-import scala.collection.mutable.HashMap ;
+import scala.collection.Map ;
 import scala.collection.immutable.TreeSet ;
 
 object AttributeSeq {
   final val Empty = new AttributeSeq { final def sortedSeq = new TreeSet[Attribute] }
 
-  final def fromHashMap(as:HashMap[Pair[String,String],String]) = {
+  final def fromMap(as:Map[Pair[String,String],String]) = {
     AttributeSeq.fromAttrs( {
       for( val a <- as.keys.toList )
       yield Attribute(a._1,a._2.intern(), as(a))
     }:_* )
   }
 
-  final def fromHashMap(ns:String, as:HashMap[Pair[String,String],String]) = {
+  final def fromMap(ns:String, as:Map[Pair[String,String],String]) = {
     AttributeSeq.fromAttrs( {
       for( val a <- as.keys.toList )
       yield {

sources/scala/xml/BindingFactoryAdapter.scala

@@ -45,7 +45,7 @@ abstract class BindingFactoryAdapter extends FactoryAdapter() {
                    children:List[Node] ):Node = {
 
       val uri$ = uri.intern();
-      val attribs1 = AttributeSeq.fromHashMap(attribs);
+      val attribs1 = AttributeSeq.fromMap(attribs);
       // 2do:optimize
       if( !compress ) {
         // get constructor

sources/scala/xml/nobinding/NoBindingFactoryAdapter.scala

@@ -40,7 +40,7 @@ class NoBindingFactoryAdapter extends FactoryAdapter  {
     } else {
       uri.intern();
     }
-    val attrSeq = AttributeSeq.fromHashMap( uri$, attrs );
+    val attrSeq = AttributeSeq.fromMap( uri$, attrs );
     val elHashCode =
       Utility.hashCode( uri$, label, attrSeq.hashCode(), children ) ;
     cache.get( elHashCode ).match{