Program: 38885
Project: 38885
Buggy source:
/** 
 * Initialize the options on the toolbar 
 */
private void buildTools(){
  topPanel.add(bold=createToggleButton(HTTP_STATIC_ICONS_GIF,0,0,20,20,GUI_HOVERTEXT_BOLD));
  topPanel.add(italic=createToggleButton(HTTP_STATIC_ICONS_GIF,0,60,20,20,GUI_HOVERTEXT_ITALIC));
  topPanel.add(underline=createToggleButton(HTTP_STATIC_ICONS_GIF,0,140,20,20,GUI_HOVERTEXT_UNDERLINE));
  topPanel.add(stroke=createToggleButton(HTTP_STATIC_ICONS_GIF,0,120,20,20,GUI_HOVERTEXT_STROKE));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(subscript=createToggleButton(HTTP_STATIC_ICONS_GIF,0,600,20,20,GUI_HOVERTEXT_SUBSCRIPT));
  topPanel.add(superscript=createToggleButton(HTTP_STATIC_ICONS_GIF,0,620,20,20,GUI_HOVERTEXT_SUPERSCRIPT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(alignleft=createPushButton(HTTP_STATIC_ICONS_GIF,0,460,20,20,GUI_HOVERTEXT_ALIGNLEFT));
  topPanel.add(alignmiddle=createPushButton(HTTP_STATIC_ICONS_GIF,0,420,20,20,GUI_HOVERTEXT_ALIGNCENTER));
  topPanel.add(alignright=createPushButton(HTTP_STATIC_ICONS_GIF,0,480,20,20,GUI_HOVERTEXT_ALIGNRIGHT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(orderlist=createPushButton(HTTP_STATIC_ICONS_GIF,0,80,20,20,GUI_HOVERTEXT_ORDERLIST));
  topPanel.add(unorderlist=createPushButton(HTTP_STATIC_ICONS_GIF,0,20,20,20,GUI_HOVERTEXT_UNORDERLIST));
  topPanel.add(indentright=createPushButton(HTTP_STATIC_ICONS_GIF,0,400,20,20,GUI_HOVERTEXT_IDENTRIGHT));
  topPanel.add(indentleft=createPushButton(HTTP_STATIC_ICONS_GIF,0,540,20,20,GUI_HOVERTEXT_IDENTLEFT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(generatelink=createPushButton(HTTP_STATIC_ICONS_GIF,0,500,20,20,GUI_HOVERTEXT_LINK));
  topPanel.add(breaklink=createPushButton(HTTP_STATIC_ICONS_GIF,0,640,20,20,GUI_HOVERTEXT_BREAKLINK));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(insertline=createPushButton(HTTP_STATIC_ICONS_GIF,0,360,20,20,GUI_HOVERTEXT_HLINE));
  topPanel.add(insertimage=createPushButton(HTTP_STATIC_ICONS_GIF,0,380,20,20,GUI_HOVERTEXT_IMAGE));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(removeformatting=createPushButton(HTTP_STATIC_ICONS_GIF,20,460,20,20,GUI_HOVERTEXT_REMOVEFORMAT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(texthtml=createToggleButton(HTTP_STATIC_ICONS_GIF,0,260,20,20,GUI_HOVERTEXT_SWITCHVIEW));
  bottomPanel.add(fontlist=createFontList());
  bottomPanel.add(new HTML("String_Node_Str"));
  bottomPanel.add(colorlist=createColorList());
}

Fixed version (ground truth):
/** 
 * Initialize the options on the toolbar 
 */
private void buildTools(){
  topPanel.add(bold=createToggleButton(resources.bold(),20,20,GUI_HOVERTEXT_BOLD));
  topPanel.add(italic=createToggleButton(resources.italic(),20,20,GUI_HOVERTEXT_ITALIC));
  topPanel.add(underline=createToggleButton(resources.underline(),20,20,GUI_HOVERTEXT_UNDERLINE));
  topPanel.add(stroke=createToggleButton(resources.stroke(),20,20,GUI_HOVERTEXT_STROKE));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(subscript=createToggleButton(resources.subscript(),20,20,GUI_HOVERTEXT_SUBSCRIPT));
  topPanel.add(superscript=createToggleButton(resources.superscript(),20,20,GUI_HOVERTEXT_SUPERSCRIPT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(alignleft=createPushButton(resources.alignleft(),20,20,GUI_HOVERTEXT_ALIGNLEFT));
  topPanel.add(alignmiddle=createPushButton(resources.alignmiddle(),20,20,GUI_HOVERTEXT_ALIGNCENTER));
  topPanel.add(alignright=createPushButton(resources.alignright(),20,20,GUI_HOVERTEXT_ALIGNRIGHT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(orderlist=createPushButton(resources.orderlist(),20,20,GUI_HOVERTEXT_ORDERLIST));
  topPanel.add(unorderlist=createPushButton(resources.unorderlist(),20,20,GUI_HOVERTEXT_UNORDERLIST));
  topPanel.add(indentright=createPushButton(resources.indentright(),20,20,GUI_HOVERTEXT_IDENTRIGHT));
  topPanel.add(indentleft=createPushButton(resources.indentleft(),20,20,GUI_HOVERTEXT_IDENTLEFT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(generatelink=createPushButton(resources.generatelink(),20,20,GUI_HOVERTEXT_LINK));
  topPanel.add(breaklink=createPushButton(resources.breaklink(),20,20,GUI_HOVERTEXT_BREAKLINK));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(insertline=createPushButton(resources.insertline(),20,20,GUI_HOVERTEXT_HLINE));
  topPanel.add(insertimage=createPushButton(resources.insertimage(),20,20,GUI_HOVERTEXT_IMAGE));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(removeformatting=createPushButton(resources.removeformatting(),20,20,GUI_HOVERTEXT_REMOVEFORMAT));
  topPanel.add(new HTML("String_Node_Str"));
  topPanel.add(texthtml=createToggleButton(resources.texthtml(),20,20,GUI_HOVERTEXT_SWITCHVIEW));
  bottomPanel.add(fontlist=createFontList());
  bottomPanel.add(new HTML("String_Node_Str"));
  bottomPanel.add(colorlist=createColorList());
}