private static String getDots(int level) {
    String dots = "";
    for (int i=0; i<level; i+=1) dots += "."; // this generally runs 1-2 times, so it's cheaper than allocating a StringBuilder
    return dots;
  }
private static String getDots(int level)