more portable: avoid Windows CRLF in classpath output;

--- a/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 15 12:51:11 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 15 15:50:32 2021 +0200
@@ -428,8 +428,8 @@
                 shasum = _shasum.toString();
             }
             if (fresh || !shasum_old.equals(shasum)) {
-                System.out.println(
-                    "### Building " + context.description() + " (" + jar_path + ") ...");
+                System.out.print(
+                    "### Building " + context.description() + " (" + jar_path + ") ...\n");
 
                 String isabelle_class_path = Environment.getenv("ISABELLE_CLASSPATH");
 

--- a/src/Tools/Setup/isabelle/setup/Setup.java	Thu Jul 15 12:51:11 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Setup.java	Thu Jul 15 15:50:32 2021 +0200
@@ -11,11 +11,11 @@
 {
     private static void echo(String msg)
     {
-        System.out.println(msg);
+        System.out.print(msg + "\n");
     }
     private static void echo_err(String msg)
     {
-        System.err.println(msg);
+        System.err.print(msg + "\n");
     }
     private static void fail(String msg)
     {