diff -r ae33d153f6cc -r b64b0cb845fe src/Tools/jEdit/src/document_model.scala
--- a/src/Tools/jEdit/src/document_model.scala	Tue Apr 08 10:24:42 2014 +0200
+++ b/src/Tools/jEdit/src/document_model.scala	Tue Apr 08 12:19:33 2014 +0200
@@ -138,7 +138,7 @@
 
   /* blob */
 
-  private var _blob: Option[(Bytes, Command.File)] = None  // owned by Swing thread
+  private var _blob: Option[(Bytes, Command.Chunk.File)] = None  // owned by Swing thread
 
   private def reset_blob(): Unit = Swing_Thread.require { _blob = None }
 
@@ -151,7 +151,8 @@
             case Some(x) => x
             case None =>
               val bytes = PIDE.resources.file_content(buffer)
-              val file = new Command.File(node_name.node, buffer.getSegment(0, buffer.getLength))
+              val file =
+                new Command.Chunk.File(node_name.node, buffer.getSegment(0, buffer.getLength))
               _blob = Some((bytes, file))
               (bytes, file)
           }