diff options
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/tools/servlet/engine/config/ConfigHandler.scala | 6 |
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 { |