Code used in an Android WorkShop