/src/main/java/org/htmlunit/html/HtmlButtonInput.java
setDefaultValue( newValue) ; unmarkValueDirty( ) ;
unmarkValueDirty ( ) ; setDefaultValue ( newValue ) ;
} @Override public void reset() { } @Override public void setValue(final String newValue) { <extra_id_0> } @Override public void setDefaultChecked(final boolean defaultChecked) { } @Override protected boolean isRequiredSupported() {