Convert many examples to java backend

**do not review yet**
These variable names are quite large and ugly.  I think @andreistefanescu used names like `_172` or `_v172` or `_Var171` at some moment, like in Prolog.