src/Tools/jEdit/src/jedit/StateViewDockable.scala

     val clipboard = java.awt.Toolkit.getDefaultToolkit().getSystemClipboard;
     val sel_highlighter = new SelectionHighlighter
 
     val copyaction = new SelectionHighlighter.CopyAction {
       override def actionPerformed(e: java.awt.event.ActionEvent) {
-        val inter = new isabelle.Symbol.Interpretation
         val selected_string = sel_highlighter.getSelectionRange.toString
-        val encoded = inter.encode (selected_string)
+        val encoded = VFS.converter.encode (selected_string)
         System.err.println ("-- copy --")
         System.err.println (selected_string)
         System.err.println (encoded)
         val transferable = new java.awt.datatransfer.StringSelection(encoded)
         clipboard.setContents(transferable, null)