code: protected void write(Writer writer, String s) {
      try {
        writer.write(s);
      } catch (IOException e) {
        throw new DukeException(e);
      }
    }
docs: --------------------------------------------------------------------------