Code for the TaxiDroid Android Development Project