Felix: When you Jenkins build fails, it does so because it is not building with this change. The <code> element is not in the DocBook namespace. In fact, after we're done with this PR, I'll do another one where I update your whole wadl with a much better way of switching namespaces.