static void restartVMAndroid() {
  O android = getVMAndroid();
  if (android != null)
    call(android, 'dispose);
  try {
    call(javax(), 'makeVMAndroid);
  } finally {
    ((L) get(javax(), 'record_list)).remove(android);
  }
}