src/Pure/PIDE/xml.scala
changeset 55618 995162143ef4
parent 52890 36e2c0c308eb
child 57909 0fb331032f02
     1.1 --- a/src/Pure/PIDE/xml.scala	Thu Feb 20 14:17:28 2014 +0100
     1.2 +++ b/src/Pure/PIDE/xml.scala	Thu Feb 20 14:36:17 2014 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  package isabelle
     1.6  
     1.7 +
     1.8  import java.util.WeakHashMap
     1.9  import java.lang.ref.WeakReference
    1.10  import javax.xml.parsers.DocumentBuilderFactory