Convert many examples to java backend

**do not review yet**
these are not variables, they are fresh constants. That is why they look different. I will change the Generated* variables though.