static VF1<JFrame> vf1_frameAutoRequestFocusFalse() {
  ret voidfunc(JFrame f) { f.setAutoRequestFocus(false); };
}