A type-safe HTTP client for Android and Java