code: private void print(String text) {
      String indent = Strings.repeat(" ", mIndentationLevel * INDENT_SIZE);
      mPrintStream.println(indent + text);
    }
docs: Prints indented information.
  
  @param text information to print