I am trying to automatically indent the HTML5 output. The tool which I tried to use was JTidy, but the problem is that it does not support HTML5 elements and for instance it moves all and to header whereas HTML5 use them in the body.
As HTML is not XML, I cannot use the typical Java XML tools for indenting.