Convert many examples to java backend

**do not review yet**
This is orthogonal to the issues discussed, but I always wondered if there is anything we can do about this ugly notation, which I never remember:

    value="&lt;k&gt; V:K &lt;/k&gt;"

I'd like to write it as:

    value="<k> V:K &lt; </k>"

Isn't there any smart XML parser to realize that the k "tags" occur in a string?  Don't XML people care about such issues?