Source code for the Android game JASON