An Android port of the game Super Mario War