My tiny JSON parser (written in Java)