Upgraded JSON parser. Much faster now (2 seconds instead of 40 :-o)