src/Tools/jEdit/src/plugin.scala

           val models = Document_Model.get_models()
 
           val thys =
             (for ((node_name, model) <- models.iterator if model.is_theory)
               yield (node_name, Position.none)).toList
-          val thy_files = resources.dependencies(thys).names
+          val thy_files = resources.dependencies(thys).theories
 
           val aux_files =
             if (options.bool("jedit_auto_resolve")) {
               val stable_tip_version =
                 if (models.forall(p => p._2.is_stable))