Convert many examples to java backend

**do not review yet**
That functionality does not currently work in the java backend. We can probably fix that, but I elected instead to make the tutorial work the way the java backend is currently designed. I'm not sure I have the time to try to make all of that work and still get done with maude in time to work on the C semantics though, so if that's what you want, getting rid of Maude will probably have to wait further.