JsonPackage: updated due to typechecker API change

@gavinking and @chochos need to review this change