A JavaCC-based JSON Parser