As of today the `com.sun.tools.javac.tree.DCTree.DCComment.getBody()` returns the text along with the surrounding comment markers, i.e. `<!-- text -->`, not `text`. This needs to be both specified and verified (by a regression test).