Buggy code:
public class ChosenListBox extends ListBox implements HasAllChosenHandlers { private static String OPTGROUP_TAG = "optgroup" ; private EventBus chznHandlerManager ; private ChosenOptions options ; private boolean visible = true ; public ChosenListBox ( ) { } public ChosenListBox ( ChosenOptions options ) { } public ChosenListBox ( boolean isMultipleSelect ) { } public ChosenListBox ( boolean isMultipleSelect , ChosenOptions options ) { } protected ChosenListBox ( Element element ) { } public static boolean isSupported ( ) { } public static ChosenListBox wrap ( Element element ) { } @ Override @ Deprecated public HandlerRegistration addChangeHandler ( final ChangeHandler handler ) { } public HandlerRegistration addChosenChangeHandler ( ChosenChangeHandler handler ) { } public void addGroup ( String label ) { } public void addGroup ( String label , String groupId ) { } public HandlerRegistration addHidingDropDownHandler ( HidingDropDownHandler handler ) { } public void addStyledItem ( String label , String value , String className ) { } public void addStyledItem ( String label , String value , String className , int indentLevel ) { } public void addItemToGroup ( String item ) { } public void addItemToGroup ( String item , int groupIndex ) { } public void addItemToGroup ( String item , String value ) { } public void addItemToGroup ( String item , String value , int groupIndex ) { } public void addStyledItemToGroup ( String label , String value , String className , int groupIndex ) { } public void addStyledItemToGroup ( String label , String value , String className , int indentLevel , int groupIndex ) { } public HandlerRegistration addMaxSelectedHandler ( MaxSelectedHandler handler ) { } public HandlerRegistration addReadyHandler ( ReadyHandler handler ) { } public HandlerRegistration addShowingDropDownHandler ( ShowingDropDownHandler handler ) { } public HandlerRegistration addUpdatedHandler ( UpdatedHandler handler ) { } @ Override public void clear ( ) { } public void clear ( boolean update ) { } @ Override public void setEnabled ( boolean enabled ) { super . setEnabled ( enabled ) ; <START_BUG> forceRedraw ( ) ; <END_BUG> } public void forceRedraw ( ) { } public GQuery getChosenElement ( ) { } public int getDisableSearchThreshold ( ) { } public int getMaxSelectedOptions ( ) { } public String getNoResultsText ( ) { } public String getPlaceholderText ( ) { } public String getPlaceholderTextMultiple ( ) { } public String getPlaceholderTextSingle ( ) { } public String getValue ( ) { } public String [ ] getValues ( ) { } public void insertGroup ( String label , int index ) { } public void insertGroup ( String label , String id , int index ) { } public void insertItemToGroup ( String item , Direction dir , String value , int groupIndex , int itemIndex ) { } public void insertItemToGroup ( String item , int groupIndex , int itemIndex ) { } public void insertItemToGroup ( String item , String value , int groupIndex , int itemIndex ) { } public void insertStyledItemToGroup ( String item , String value , String className , int groupIndex , int itemIndex ) { } public void insertStyledItemToGroup ( String item , String value , String className , int indentLevel , int groupIndex , int itemIndex ) { } public void insertStyledItemToGroup ( String item , String value , String className , Direction dir , int indentLevel , int groupIndex , int itemIndex ) { } public boolean isAllowSingleDeselect ( ) { } public boolean isSearchContains ( ) { } public boolean isSingleBackstrokeDelete ( ) { } public void removeGroup ( int index ) { } public void removeGroupById ( String id ) { } public void removeGroupByLabel ( String label ) { } public void setAllowSingleDeselect ( boolean allowSingleDeselect ) { } public void setDisableSearchThreshold ( int disableSearchThreshold ) { } @ Override public void setFocus ( boolean focused ) { } public void setMaxSelectedOptions ( int maxSelectedOptions ) { } public void setNoResultsText ( String noResultsText ) { } public void setPlaceholderText ( String placeholderText ) { } public void setPlaceholderTextMultiple ( String placeholderTextMultiple ) { } public void setPlaceholderTextSingle ( String placeholderTextSingle ) { } public void setSearchContains ( boolean searchContains ) { } @ Override public void setSelectedIndex ( int index ) { } @ Override public void setItemSelected ( int index , boolean selected ) { } public void setSingleBackstrokeDelete ( boolean singleBackstrokeDelete ) { } public void setHighlightSearchTerm ( boolean highlightSearchTerm ) { } @ Override protected Element getStyleElement ( ) { } public void setSelectedValue ( String ... values ) { } public void unselectAll ( ) { } @ Override public void setVisible ( boolean visible ) { } public void update ( ) { } protected final < H extends EventHandler > HandlerRegistration addChosenHandler ( H handler , Type < H > type ) { } protected EventBus ensureChosenHandlers ( ) { } protected EventBus getChosenHandlerManager ( ) { } @ Override protected void onLoad ( ) { } @ Override protected void onUnload ( ) { } private GQuery getFocusableElement ( ) { } }

Fix:
update ( ) ;