Fixed java json maps with non-string keys