Convert line delimiters to CR-only

src/com/maccasoft/tools/Terminal.java

@@ -355,7 +355,7 @@ public class Terminal {
         try {
             String s = (String) clipboard.getContents(TextTransfer.getInstance());
             if (s != null) {
-                final byte[] b = s.getBytes();
+                final byte[] b = s.replaceAll("(\r\n|\n|\r)", "\r").getBytes();
                 new Thread(new Runnable() {
 
                     @Override