Convert many examples to java backend

**do not review yet**
What are the `_1`, `_2`, ... variables?  Are they generated?  If yes, then why do they look different from the previously generated variables, `GeneratedAnnonVar1`, etc?  I actually prefer it this way, `_1`, etc.

Also, how comes that before this expression had no anonymous variables, while now it has?