RichTextArea disable sanitize

Is there any way to disable the sanitization / escaping that happens when getting the value from a RichTextArea?
For example if I add the following string:

if !$person.name.isEmpty() > 10 && $person.age > 10

when getting the value, the ampersand will be replaced with &

I think it is very deep in the GWT's RichTextArea, and its getHTML() implementation.

http://www.gwtproject.org/javadoc/latest/com/google/gwt/user/client/ui/RichTextArea.html#getHTML()

So answer is not easy to do and kind of it is meant to work this way.
 

I do have a solution to this, and it's a hack to be honest :) I have a spring boot app with vaadin and I can use spring's HtmlUtils#htmlUnescape but I was thinking that maybe there is a way to do this using only vaadin.Thanks for the reply.