tuned;

--- a/src/Tools/jEdit/src/jedit_lib.scala	Thu Jul 07 21:58:07 2016 +0200
+++ b/src/Tools/jEdit/src/jedit_lib.scala	Fri Jul 08 09:47:51 2016 +0200
@@ -13,7 +13,6 @@
 import java.awt.event.{InputEvent, KeyEvent, KeyListener}
 import javax.swing.{Icon, ImageIcon, JWindow, SwingUtilities}
 
-import scala.annotation.tailrec
 import scala.util.parsing.input.CharSequenceReader
 
 import org.gjt.sp.jedit.{jEdit, Buffer, View, GUIUtilities, Debug, EditPane}