1.1 --- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 04 16:07:48 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 04 17:33:55 2013 +0100
     1.3 @@ -20,8 +20,7 @@
     1.4  
     1.5  import org.gjt.sp.jedit.{Buffer, EditPane, TextUtilities, View}
     1.6  import errorlist.DefaultErrorSource
     1.7 -import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion,
     1.8 -  SideKickCompletionPopup, IAsset}
     1.9 +import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion, IAsset}
    1.10  
    1.11  
    1.12  object Isabelle_Sidekick