!7

p-android {
  Menu menu = aGetOptionsMenu();
  print("Menu: " + menu);
  aRemoveItemFromMenu(menu, "Settings");
}