import android.app.*;
import android.widget.*;
import android.view.*;
import android.view.KeyEvent;
import android.view.inputmethod.*;
import android.text.*;

static LinearLayout aVerticalLinearLayout(final View... views) {
  ret androidUI(func -> LinearLayout {
    LinearLayout ll = new LinearLayout(androidActivity());
    ll.setOrientation(ll.VERTICAL);
    for (View v : views) if (v != null) aAddView(ll, v);
    ret ll;
  });
}

Began life as a copy of #1008255