Get JSON to work on Java

[robin-aws]

We made some progress but couldn't get my workaround to verify on Dafny 4.0, and although @RustanLeino made progress on fixing Java backend limitations there are still some remaining.

[robin-aws]

Should work for 4.1 since we fixed the relevant Java backend bugs.