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

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