| changeset 44721 | ba478c3f7255 |
| parent 44705 | 089fcaf94c00 |
| child 44808 | 05b8997899a2 |
| 44720:f3a8c19708c8 | 44721:ba478c3f7255 |
|---|---|
9 import java.lang.System |
9 import java.lang.System |
10 import java.util.WeakHashMap |
10 import java.util.WeakHashMap |
11 import java.lang.ref.WeakReference |
11 import java.lang.ref.WeakReference |
12 import javax.xml.parsers.DocumentBuilderFactory |
12 import javax.xml.parsers.DocumentBuilderFactory |
13 |
13 |
14 import scala.actors.Actor._ |
|
15 import scala.collection.mutable |
14 import scala.collection.mutable |
16 |
15 |
17 |
16 |
18 object XML |
17 object XML |
19 { |
18 { |