Method renaming propositions added
Skeleton code for HttpClient