src/Tools/Code/code_scala.ML

     (* serialization *)
     val p = Pretty.chunks2 (map snd includes @ the_list (print_nodes [] sca_program));
     fun write width NONE = writeln o format [] width
       | write width (SOME p) = File.write p o format [] width;
   in
-    Code_Target.serialization write (rpair [] ooo format) p
+    Code_Target.serialization write (rpair (try (deresolver [])) ooo format) p
   end;
 
 val serializer : Code_Target.serializer =
   Code_Target.parse_args (Scan.succeed ()) #> K serialize_scala;