1 files changed, 28 insertions, 0 deletions
diff --git a/Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java b/Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java
new file mode 100755
index 00000000000..28eff6c12b3
--- /dev/null
+++ b/Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java
@@ -0,0 +1,28 @@
+package xtpipes;
+/*
+XtpipesPrintWriter.java (2009-01-27-22:19)
+*/
+import java.io.*;
+public class XtpipesPrintWriter extends PrintWriter {
+   public XtpipesPrintWriter() {
+     super(System.out, true);
+   }
+   public XtpipesPrintWriter (PrintStream ps, boolean b){
+     super(ps, b);
+   }
+   public XtpipesPrintWriter (OutputStream ps, boolean b){
+     super(ps, b);
+   }
+   public XtpipesPrintWriter (FileWriter fw){
+     super(fw);
+   }
+   public XtpipesPrintWriter (Writer wr){
+     super(wr);
+   }
+   public void print(String str) {
+     super.print( XtpipesUni.toUni(str, "") );
+   }
+   public void println(String str) {
+     super.println( XtpipesUni.toUni(str, "") );
+}  }
+