1.1 --- a/src/Pure/library.scala	Fri Feb 24 21:36:20 2012 +0100
     1.2 +++ b/src/Pure/library.scala	Fri Feb 24 22:15:19 2012 +0100
     1.3 @@ -15,8 +15,6 @@
     1.4  import scala.swing.ComboBox
     1.5  import scala.swing.event.SelectionChanged
     1.6  import scala.collection.mutable
     1.7 -import scala.math.Ordering
     1.8 -import scala.util.Sorting
     1.9  
    1.10  
    1.11  object Library