public class HeaderFormElement extends FormElement
GSON, translator
HeaderFormElement(java.lang.String text)
getText, getText, getTranslator, getType, setTranslator
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public HeaderFormElement(java.lang.String text)