Method writeFile

app/src/processing/app/Console.java:244–254

(byte b[], int offset, int length)

    }

    public void writeFile(byte b[], int offset, int length) {
      final OutputStream echo = err ? stderrFile : stdoutFile;
      if (echo != null) {
        try {
          echo.write(b, offset, length);
          echo.flush();
        } catch (IOException e) {
          e.printStackTrace();
        }
      }
    }

    public void write(int b) {
      single[0] = (byte) b;