I was going through the question HTTP to HTTPS redirection issue with Tomcat 8 and found that the Stack Overflow editor unable to properly format the code when it finds /*
as a value of an XML tag, and it is treating this a beginning of a comment and commented our rest of the portion.
See the below picture.
It is clearly a bug, and it should be resolved.