A tiny Android library to convert between JSON and Java Maps.