src/Tools/jEdit/src/isabelle_sidekick.scala

 import javax.swing.text.Position
 import javax.swing.{Icon, DefaultListCellRenderer, ListCellRenderer, JList}
 
 import org.gjt.sp.jedit.{Buffer, EditPane, TextUtilities, View}
 import errorlist.DefaultErrorSource
-import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion,
-  SideKickCompletionPopup, IAsset}
+import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion, IAsset}
 
 
 object Isabelle_Sidekick
 {
   def int_to_pos(offset: Text.Offset): Position =