GWT 2.5.1
com.google.gwt.user.client.ui

Interface RichTextArea.BasicFormatter

GWT 2.5.1