diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index 0968b6236..26ff3a3f2 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -593,7 +593,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
             fromProc = new BufferedReader (isr);
             String defaultEncoding = isr.getEncoding();
             if (debug) System.out.println("encoding "+defaultEncoding);
-            toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
+            toProc = new BufferedWriter(
+               new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
             /*  try {
                   UIManager.setLookAndFeel(
                   //UIManager.getSystemLookAndFeelClassName() );