Convert many examples to java backend

**please review**
A TODO comment for Andrei here as well, to do it with strictness once fixed?