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

static TextView aTextView(S text) {
  TextView tv = new TextView(androidActivity());
  tv.setText(text);
  ret tv;
}