avoid icky html encoding of hawtio json schema