Buggy code:
public Region getRegion ( ) { } public Shell getShell ( ) { } Shell _getShell ( ) { } public String getToolTipText ( ) { } public boolean getVisible ( ) { } int gtk_button_press_event ( int widget , int event ) { } int gtk_button_press_event ( int widget , int event , boolean sendMouseDown ) { } int gtk_button_release_event ( int widget , int event ) { } int gtk_commit ( int imcontext , int text ) { } int gtk_enter_notify_event ( int widget , int event ) { } boolean checkSubwindow ( ) { } int gtk_event_after ( int widget , int gdkEvent ) { } int gtk_expose_event ( int widget , int eventPtr ) { } int gtk_focus ( int widget , int directionType ) { } int gtk_focus_in_event ( int widget , int event ) { } int gtk_focus_out_event ( int widget , int event ) { } int gtk_key_press_event ( int widget , int event ) { } int gtk_key_release_event ( int widget , int event ) { } int gtk_leave_notify_event ( int widget , int event ) { } int gtk_mnemonic_activate ( int widget , int arg1 ) { } int gtk_motion_notify_event ( int widget , int event ) { } int gtk_popup_menu ( int widget ) { } int gtk_preedit_changed ( int imcontext ) { } int gtk_realize ( int widget ) { } int gtk_scroll_event ( int widget , int eventPtr ) { } int gtk_show_help ( int widget , int helpType ) { } int gtk_style_set ( int widget , int previousStyle ) { } int gtk_unrealize ( int widget ) { } int gtk_visibility_notify_event ( int widget , int event ) { } void gtk_widget_size_request ( int widget , GtkRequisition requisition ) { } public int internal_new_GC ( GCData data ) { } int imHandle ( ) { } public void internal_dispose_GC ( int gdkGC , GCData data ) { } public boolean isReparentable ( ) { } boolean isShowing ( ) { } boolean isTabGroup ( ) { } boolean isTabItem ( ) { } public boolean isEnabled ( ) { } boolean isFocusAncestor ( Control control ) { } public boolean isFocusControl ( ) { } public boolean isVisible ( ) { } Decorations menuShell ( ) { } boolean mnemonicHit ( char key ) { } boolean mnemonicMatch ( char key ) { } void register ( ) { } public void redraw ( ) { } void redraw ( boolean all ) { } public void redraw ( int x , int y , int width , int height , boolean all ) { } void redrawChildren ( ) { } void redrawWidget ( int x , int y , int width , int height , boolean redrawAll , boolean all , boolean trim ) { } void release ( boolean destroy ) { } void releaseHandle ( ) { } void releaseParent ( ) { } void releaseWidget ( ) { } void restackWindow ( int window , int sibling , boolean above ) { } boolean sendDragEvent ( int button , int stateMask , int x , int y , boolean isStateMask ) { } void sendFocusEvent ( int type ) { } boolean sendHelpEvent ( int helpType ) { } boolean sendLeaveNotify ( ) { } boolean sendMouseEvent ( int type , int button , int time , double x , double y , boolean is_hint , int state ) { } boolean sendMouseEvent ( int type , int button , int count , int detail , boolean send , int time , double x , double y , boolean is_hint , int state ) { } void setBackground ( ) { } public void setBackground ( Color color ) { } void setBackgroundColor ( int handle , GdkColor color ) { } void setBackgroundColor ( GdkColor color ) { } public void setBackgroundImage ( Image image ) { } void setBackgroundPixmap ( int pixmap ) { int window = OS . GTK_WIDGET_WINDOW ( paintHandle ( ) ) ; if ( window != 0 ) <START_BUG> OS . gdk_window_set_back_pixmap ( window , backgroundImage . pixmap , false ) ; <END_BUG> } public void setCapture ( boolean capture ) { } public void setCursor ( Cursor cursor ) { } void setCursor ( int cursor ) { } public void setDragDetect ( boolean dragDetect ) { } public void setEnabled ( boolean enabled ) { } public boolean setFocus ( ) { } public void setFont ( Font font ) { } void setFontDescription ( int font ) { } public void setForeground ( Color color ) { } void setForegroundColor ( GdkColor color ) { } void setInitialBounds ( ) { } public void setMenu ( Menu menu ) { } void setOrientation ( ) { } public boolean setParent ( Composite parent ) { } void setParentBackground ( ) { } void setParentWindow ( int widget ) { } boolean setRadioSelection ( boolean value ) { } public void setRedraw ( boolean redraw ) { } boolean setTabItemFocus ( boolean next ) { } public void setToolTipText ( String string ) { } void setToolTipText ( Shell shell , String newString ) { } public void setVisible ( boolean visible ) { } void setZOrder ( Control sibling , boolean above , boolean fixRelations ) { } void setZOrder ( Control sibling , boolean above , boolean fixRelations , boolean fixChildren ) { } void setWidgetBackground ( ) { } boolean showMenu ( int x , int y ) { } void showWidget ( ) { } void sort ( int [ ] items ) { } public boolean traverse ( int traversal ) { } boolean translateMnemonic ( Event event , Control control ) { } boolean translateMnemonic ( int keyval , GdkEventKey gdkEvent ) { } boolean translateTraversal ( GdkEventKey keyEvent ) { } int traversalCode ( int key , GdkEventKey event ) { }

Fix:
OS . gdk_window_set_back_pixmap ( window , pixmap , false ) ;