Convert many examples to java backend

**please review**
Not a big deal, but I'm just curious why the top equality has not been split into bool = int and _0 = _1.