@Override
  public void report(OutputStreamWriter writer) throws IOException {
    super.report(writer);
    if (mySubLevel != null) {
      mySubLevel.report(writer);
    }
  }
@Override
  public void report(OutputStreamWriter writer)