tuned imports;

--- a/src/Tools/jEdit/src/session_dockable.scala	Thu Apr 19 19:54:48 2012 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala	Thu Apr 19 21:42:24 2012 +0200
@@ -16,7 +16,7 @@
 
 import java.lang.System
 import java.awt.{BorderLayout, Graphics2D, Insets}
-import javax.swing.{JList, DefaultListCellRenderer, BorderFactory}
+import javax.swing.{JList, BorderFactory}
 import javax.swing.border.{BevelBorder, SoftBevelBorder}
 
 import org.gjt.sp.jedit.{View, jEdit}