src/Tools/Setup/isabelle/setup/Library.java

         else {
             StringBuilder result = new StringBuilder();
             for (String s : split_lines(str)) {
                 result.append(prfx);
                 result.append(s);
+                result.append('\n');
             }
             return result.toString();
         }
     }