diff -r 3d8857f42a64 -r 0dbbc4c5a67e src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Tue Jul 20 08:54:21 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Tue Jul 20 08:54:21 2010 +0200
@@ -214,7 +214,7 @@
                   ];
           in
             Pretty.chunks (applify "[" "]" (str o prefix "+" o lookup_tyvar tyvars o fst)
-              NOBR ((concat o map str) ["sealed", "class", deresolve_base name]) vs
+              NOBR ((concat o map str) ["abstract", "sealed", "class", deresolve_base name]) vs
                 :: map print_co cos)
           end
       | print_stmt (name, Code_Thingol.Class (_, (v, (super_classes, classparams)))) =