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