ashdkjasdh

1 files changed, 3 insertions, 3 deletions

diff --git a/sources/scala/tools/servlet/engine/config/ConfigHandler.scala b/sources/scala/tools/servlet/engine/config/ConfigHandler.scala
index c8cdadf6b6..72f621082b 100644
--- a/sources/scala/tools/servlet/engine/config/ConfigHandler.scala
+++ b/sources/scala/tools/servlet/engine/config/ConfigHandler.scala
@@ -1,8 +1,8 @@
 package scala.tools.servlet.engine.config ;
 
-import scala.collection.mutable;
+import scala.collection.{ Map, mutable };
 
-import scala.xml.{ Attribute, IntAttribute, AttributeSeq, Elem };
+import scala.xml.{ Attribute, AttributeSeq, Elem };
 import scala.xml.parsing._;
 
 class ConfigHandler extends MarkupHandler[Config] {
@@ -14,7 +14,7 @@ class ConfigHandler extends MarkupHandler[Config] {
   /** be careful to copy everything from attrMap1, as it will change
    *  @param attrMap1 the attribute map.
    */
-  def element(pos: int, uri: String, label: String, attrMap1: mutable.Map[Pair[String,String],Attribute], args: mutable.Buffer[Config]): Option[Config] = {
+  def element(pos: int, uri: String, label: String, attrMap1: Map[Pair[String,String],Attribute], args: mutable.Buffer[Config]): Option[Config] = {
     if( uri == config_namespace ) {
       label match {