Convert many examples to java backend

**do not review yet**
Why is smtlib needed here?  It will make the tutorial harder to present.