A type-safe REST client for Android and Java