src/Tools/jEdit/src/isabelle_export.scala

                   exports = snapshot.state.node_exports(version, node_name)
                   (_, entry) <- exports.iterator if entry.name_extends(prefix)
                 } yield {
                   val is_dir = entry.name_elems.length > depth
                   val path = Export.implode_name(theory :: entry.name_elems.take(depth))
-                  val file_size = if (is_dir) None else Some(entry.uncompressed().length.toLong)
+                  val file_size = if (is_dir) None else Some(entry.uncompressed.length.toLong)
                   (path, file_size)
                 }).toSet.toList
               (for ((path, file_size) <- entries.iterator) yield {
                 file_size match {
                   case None => make_entry(path, is_dir = true)

             (for {
               (node_name, _) <- version.nodes.iterator
               if node_name.theory == theory
               (_, entry) <- snapshot.state.node_exports(version, node_name).iterator
               if entry.name_elems == name_elems
-            } yield entry.uncompressed()).find(_ => true).getOrElse(Bytes.empty)
+            } yield entry.uncompressed).find(_ => true).getOrElse(Bytes.empty)
 
           bytes.stream()
       }
     }
   }