update to robotium 4.0 to support api 17