GWT 2.5.1
com.google.gwt.editor.client

Interface EditorError

GWT 2.5.1