private void escaped_write(java.lang.String str) throws IOException { for (int i = 0; i < str.length(); i++) { char c = str.charAt(i); if (c == '\n') { bw.write("\\n"); } else if (c == '\\') { bw.write("\\\\"); } else if (c < ' ' || c > '~') { int val = c; bw.write("\\#"); bw.write(java.lang.Integer.toString(val)); bw.write(';'); } else { bw.write(c); } } }