diff --git a/src/Pure/System/java.ML b/src/Pure/System/java.ML
--- a/src/Pure/System/java.ML
+++ b/src/Pure/System/java.ML
@@ -1,42 +1,42 @@
 (*  Title:      Pure/System/java.ML
     Author:     Makarius
 
 Support for Java language.
 *)
 
 signature JAVA =
 sig
   val print_string: string -> string
 end;
 
 structure Java: JAVA =
 struct
 
 (* string literals *)
 
 local
 
 val print_str =
   fn "\b" => "\\b"
    | "\t" => "\\t"
    | "\n" => "\\n"
    | "\f" => "\\f"
    | "\r" => "\\r"
    | "\"" => "\\\""
    | "\\" => "\\\\"
    | s =>
       let val c = ord s in
         if c < 16 then "\\u000" ^ Int.fmt StringCvt.HEX c
         else if c < 128 then "\\u00" ^ Int.fmt StringCvt.HEX c
-        else error ("Cannot print non-ASCII Scala string literal: " ^ quote s)
+        else error ("Cannot print non-ASCII Java/Scala string literal: " ^ quote s)
       end;
 
 in
 
 fun print_string str =
   quote (translate_string print_str str)
-    handle Fail _ => error ("Cannot print non-ASCII Scala string literal: " ^ quote str);
+    handle Fail _ => error ("Cannot print non-ASCII Java/Scala string literal: " ^ quote str);
 
 end;
 
 end;