A JavaScript formatter and a JSON parser implemented in Java