code: private void write(String str) {
          if (muted) {
              return;
          }
          try {
              dest.write(str);
          } catch (IOException e) {
              exceptions.add(e);
          }
      }
docs: --