src/Tools/jEdit/src/plugin.scala

--- a/src/Tools/jEdit/src/plugin.scala	Thu Jan 21 20:50:34 2016 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Jan 21 20:57:37 2016 +0100
@@ -19,8 +19,8 @@
 import org.gjt.sp.jedit.buffer.JEditBuffer
 import org.gjt.sp.jedit.syntax.ModeProvider
 import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged}
-
 import org.gjt.sp.util.SyntaxUtilities
+import org.gjt.sp.util.Log
 
 
 object PIDE
@@ -420,6 +420,7 @@
       case exn: Throwable =>
         PIDE.startup_failure = Some(exn)
         PIDE.startup_notified = false
+        Log.log(Log.ERROR, this, exn)
     }
   }