static TextView aCenteredTextView(S text) {
  final TextView tv = aTextView(text);
  androidUI(r { tv.setGravity(Gravity.CENTER_HORIZONTAL) });
  ret tv;
}

static TextView aCenteredTextView() {
  ret aCenteredTextView("");
}