public static void summarizeTranslationErrors() {
    if (((Integer)(Stella.$TRANSLATIONERRORS$.get())).intValue() > 0) {
      System.out.print(((Integer)(Stella.$TRANSLATIONERRORS$.get())).intValue() + " error");
      if (((Integer)(Stella.$TRANSLATIONERRORS$.get())).intValue() > 1) {
        System.out.print("s");
      }
    }
    if (((Integer)(Stella.$TRANSLATIONWARNINGS$.get())).intValue() > 0) {
      if (((Integer)(Stella.$TRANSLATIONERRORS$.get())).intValue() > 0) {
        System.out.print(", ");
      }
      System.out.print(((Integer)(Stella.$TRANSLATIONWARNINGS$.get())).intValue() + " warning");
      if (((Integer)(Stella.$TRANSLATIONWARNINGS$.get())).intValue() > 1) {
        System.out.print("s");
      }
    }
    if (((Integer)(Stella.$TRANSLATIONNOTES$.get())).intValue() > 0) {
      if ((((Integer)(Stella.$TRANSLATIONERRORS$.get())).intValue() > 0) ||
          (((Integer)(Stella.$TRANSLATIONWARNINGS$.get())).intValue() > 0)) {
        System.out.print(", ");
      }
      System.out.print(((Integer)(Stella.$TRANSLATIONNOTES$.get())).intValue() + " note");
      if (((Integer)(Stella.$TRANSLATIONNOTES$.get())).intValue() > 1) {
        System.out.print("s");
      }
    }
    if ((((Integer)(Stella.$TRANSLATIONERRORS$.get())).intValue() > 0) ||
        ((((Integer)(Stella.$TRANSLATIONWARNINGS$.get())).intValue() > 0) ||
         (((Integer)(Stella.$TRANSLATIONNOTES$.get())).intValue() > 0))) {
      System.out.println(".");
    }
  }