docs: protected void handleOutput(InputStream stdout) throws IOException {
          byte[] buffer = new byte[4 * 1024];
          int    b;
          while ((b = stdout.read(buffer)) > 0) {
              out.write(buffer, 0, b);
          }
      }