diff -r 3ef6b0b6232e -r 677615cba30d src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Wed Jan 07 18:09:11 2015 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Jan 08 20:56:39 2015 +0100
@@ -220,7 +220,7 @@
             val files = thy_info.dependencies("", thys).deps.map(_.name.node).
               filter(file => !loaded_buffer(file) && PIDE.resources.check_file(view, file))
 
-            if (!files.isEmpty) {
+            if (files.nonEmpty) {
               if (PIDE.options.bool("jedit_auto_load")) {
                 files.foreach(file => jEdit.openFile(null: View, file))
               }