Program: 78923
Project: 78923
Buggy source:
public BIRTPropertyManagerFactory(){
  vms=new ValueManager[PerfectHash.TOTAL_KEYWORDS];
  vms[StyleConstants.STYLE_TEXT_ALIGN]=new TextAlignManager(CSSConstants.CSS_TEXT_ALIGN_PROPERTY);
  vms[StyleConstants.STYLE_TEXT_INDENT]=new LengthManager(CSSConstants.CSS_TEXT_INDENT_PROPERTY,true,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_NUMBER_ALIGN]=new TextAlignManager(BIRTConstants.BIRT_NUMBER_ALIGN_PROPERTY);
  vms[StyleConstants.STYLE_NUMBER_FORMAT]=new RawStringManager(BIRTConstants.BIRT_NUMBER_FORMAT_PROPERTY,true,null);
  vms[StyleConstants.STYLE_STRING_FORMAT]=new RawStringManager(BIRTConstants.BIRT_STRING_FORMAT_PROPERTY,true,null);
  vms[StyleConstants.STYLE_DATE_FORMAT]=new RawStringManager(BIRTConstants.BIRT_DATE_TIME_FORMAT_PROPERTY,true,null);
  vms[StyleConstants.STYLE_VERTICAL_ALIGN]=new VerticalAlignManager();
  vms[StyleConstants.STYLE_LINE_HEIGHT]=new LineHeightManager();
  vms[StyleConstants.STYLE_BACKGROUND_REPEAT]=new BackgroundRepeatManager();
  vms[StyleConstants.STYLE_BACKGROUND_ATTACHMENT]=new BackgroundAttachmentManager();
  vms[StyleConstants.STYLE_CAN_SHRINK]=new BooleanManager(BIRTConstants.BIRT_CAN_SHRINK_PROPERTY,true,false);
  vms[StyleConstants.STYLE_TEXT_OVERLINE]=new TextOverlineManager();
  vms[StyleConstants.STYLE_TEXT_UNDERLINE]=new TextUnderlineManager();
  vms[StyleConstants.STYLE_TEXT_LINETHROUGH]=new TextLineThroughManager();
  vms[StyleConstants.STYLE_BACKGROUND_IMAGE]=new URIManager(CSSConstants.CSS_BACKGROUND_IMAGE_PROPERTY,false,CSSValueConstants.NONE_VALUE);
  vms[StyleConstants.STYLE_BORDER_TOP_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_TOP_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_LEFT_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_LEFT_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_RIGHT_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_RIGHT_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_BOTTOM_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_BOTTOM_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_COLOR]=new ColorManager(CSSConstants.CSS_COLOR_PROPERTY,true,CSSValueConstants.BLACK_RGB_VALUE);
  vms[StyleConstants.STYLE_BORDER_TOP_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_TOP_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_LEFT_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_LEFT_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_RIGHT_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_RIGHT_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_BOTTOM_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_BOTTOM_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BACKGROUND_COLOR]=new ColorManager(CSSConstants.CSS_BACKGROUND_COLOR_PROPERTY,false,CSSValueConstants.TRANSPARENT_VALUE);
  vms[StyleConstants.STYLE_BORDER_TOP_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_TOP_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_LEFT_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_LEFT_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_RIGHT_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_RIGHT_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_BOTTOM_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_BOTTOM_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_LETTER_SPACING]=new SpacingManager(CSSConstants.CSS_LETTER_SPACING_PROPERTY);
  vms[StyleConstants.STYLE_FONT_WEIGHT]=new FontWeightManager();
  vms[StyleConstants.STYLE_FONT_VARIANT]=new FontVariantManager();
  vms[StyleConstants.STYLE_MARGIN_LEFT]=new MarginManager(CSSConstants.CSS_MARGIN_LEFT_PROPERTY);
  vms[StyleConstants.STYLE_MARGIN_RIGHT]=new MarginManager(CSSConstants.CSS_MARGIN_RIGHT_PROPERTY);
  vms[StyleConstants.STYLE_DISPLAY]=new DisplayManager();
  vms[StyleConstants.STYLE_TEXT_TRANSFORM]=new TextTransformManager();
  vms[StyleConstants.STYLE_BACKGROUND_POSITION_Y]=new BackgroundPositionYManager();
  vms[StyleConstants.STYLE_PADDING_LEFT]=new LengthManager(CSSConstants.CSS_PADDING_LEFT_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_PADDING_RIGHT]=new LengthManager(CSSConstants.CSS_PADDING_RIGHT_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_FONT_SIZE]=new FontSizeManager();
  vms[StyleConstants.STYLE_FONT_STYLE]=new FontStyleManager();
  vms[StyleConstants.STYLE_WHITE_SPACE]=new WhiteSpaceManager();
  vms[StyleConstants.STYLE_ORPHANS]=new IntegerManager(CSSConstants.CSS_ORPHANS_PROPERTY,true,2);
  vms[StyleConstants.STYLE_MASTER_PAGE]=new RawStringManager(BIRTConstants.BIRT_MASTER_PAGE_PROPERTY,false,null);
  vms[StyleConstants.STYLE_WORD_SPACING]=new SpacingManager(CSSConstants.CSS_WORD_SPACING_PROPERTY);
  vms[StyleConstants.STYLE_BACKGROUND_POSITION_X]=new BackgroundPositionXManager();
  vms[StyleConstants.STYLE_PAGE_BREAK_BEFORE]=new PageBreakBeforeAfterManager(CSSConstants.CSS_PAGE_BREAK_BEFORE_PROPERTY);
  vms[StyleConstants.STYLE_PAGE_BREAK_INSIDE]=new PageBreakInsideManager();
  vms[StyleConstants.STYLE_SHOW_IF_BLANK]=new BooleanManager(BIRTConstants.BIRT_SHOW_IF_BLANK_PROPERTY,true,false);
  vms[StyleConstants.STYLE_FONT_FAMILY]=new FontFamilyManager();
  vms[StyleConstants.STYLE_PAGE_BREAK_AFTER]=new PageBreakBeforeAfterManager(CSSConstants.CSS_PAGE_BREAK_AFTER_PROPERTY);
  vms[StyleConstants.STYLE_MARGIN_BOTTOM]=new MarginManager(CSSConstants.CSS_MARGIN_BOTTOM_PROPERTY);
  vms[StyleConstants.STYLE_MARGIN_TOP]=new MarginManager(CSSConstants.CSS_MARGIN_TOP_PROPERTY);
  vms[StyleConstants.STYLE_WIDOWS]=new IntegerManager(CSSConstants.CSS_WIDOWS_PROPERTY,true,2);
  vms[StyleConstants.STYLE_PADDING_BOTTOM]=new LengthManager(CSSConstants.CSS_PADDING_BOTTOM_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_PADDING_TOP]=new LengthManager(CSSConstants.CSS_PADDING_TOP_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_VISIBLE_FORMAT]=new VisibleFormatManager();
}

Fixed version (ground truth):
public BIRTPropertyManagerFactory(){
  vms=new ValueManager[PerfectHash.TOTAL_KEYWORDS];
  vms[StyleConstants.STYLE_TEXT_ALIGN]=new TextAlignManager(CSSConstants.CSS_TEXT_ALIGN_PROPERTY);
  vms[StyleConstants.STYLE_TEXT_INDENT]=new LengthManager(CSSConstants.CSS_TEXT_INDENT_PROPERTY,true,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_NUMBER_ALIGN]=new TextAlignManager(BIRTConstants.BIRT_NUMBER_ALIGN_PROPERTY);
  vms[StyleConstants.STYLE_NUMBER_FORMAT]=new RawStringManager(BIRTConstants.BIRT_NUMBER_FORMAT_PROPERTY,true,CSSValueConstants.EMPTY_STRING_VALUE);
  vms[StyleConstants.STYLE_STRING_FORMAT]=new RawStringManager(BIRTConstants.BIRT_STRING_FORMAT_PROPERTY,true,CSSValueConstants.EMPTY_STRING_VALUE);
  vms[StyleConstants.STYLE_DATE_FORMAT]=new RawStringManager(BIRTConstants.BIRT_DATE_TIME_FORMAT_PROPERTY,true,CSSValueConstants.EMPTY_STRING_VALUE);
  vms[StyleConstants.STYLE_VERTICAL_ALIGN]=new VerticalAlignManager();
  vms[StyleConstants.STYLE_LINE_HEIGHT]=new LineHeightManager();
  vms[StyleConstants.STYLE_BACKGROUND_REPEAT]=new BackgroundRepeatManager();
  vms[StyleConstants.STYLE_BACKGROUND_ATTACHMENT]=new BackgroundAttachmentManager();
  vms[StyleConstants.STYLE_CAN_SHRINK]=new BooleanManager(BIRTConstants.BIRT_CAN_SHRINK_PROPERTY,true,false);
  vms[StyleConstants.STYLE_TEXT_OVERLINE]=new TextOverlineManager();
  vms[StyleConstants.STYLE_TEXT_UNDERLINE]=new TextUnderlineManager();
  vms[StyleConstants.STYLE_TEXT_LINETHROUGH]=new TextLineThroughManager();
  vms[StyleConstants.STYLE_BACKGROUND_IMAGE]=new URIManager(CSSConstants.CSS_BACKGROUND_IMAGE_PROPERTY,false,CSSValueConstants.NONE_VALUE);
  vms[StyleConstants.STYLE_BORDER_TOP_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_TOP_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_LEFT_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_LEFT_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_RIGHT_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_RIGHT_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_BOTTOM_STYLE]=new BorderStyleManager(CSSConstants.CSS_BORDER_BOTTOM_STYLE_PROPERTY);
  vms[StyleConstants.STYLE_COLOR]=new ColorManager(CSSConstants.CSS_COLOR_PROPERTY,true,CSSValueConstants.BLACK_RGB_VALUE);
  vms[StyleConstants.STYLE_BORDER_TOP_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_TOP_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_LEFT_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_LEFT_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_RIGHT_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_RIGHT_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_BOTTOM_WIDTH]=new BorderWidthManager(CSSConstants.CSS_BORDER_BOTTOM_WIDTH_PROPERTY);
  vms[StyleConstants.STYLE_BACKGROUND_COLOR]=new ColorManager(CSSConstants.CSS_BACKGROUND_COLOR_PROPERTY,false,CSSValueConstants.TRANSPARENT_VALUE);
  vms[StyleConstants.STYLE_BORDER_TOP_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_TOP_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_LEFT_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_LEFT_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_RIGHT_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_RIGHT_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_BORDER_BOTTOM_COLOR]=new BorderColorManager(CSSConstants.CSS_BORDER_BOTTOM_COLOR_PROPERTY);
  vms[StyleConstants.STYLE_LETTER_SPACING]=new SpacingManager(CSSConstants.CSS_LETTER_SPACING_PROPERTY);
  vms[StyleConstants.STYLE_FONT_WEIGHT]=new FontWeightManager();
  vms[StyleConstants.STYLE_FONT_VARIANT]=new FontVariantManager();
  vms[StyleConstants.STYLE_MARGIN_LEFT]=new MarginManager(CSSConstants.CSS_MARGIN_LEFT_PROPERTY);
  vms[StyleConstants.STYLE_MARGIN_RIGHT]=new MarginManager(CSSConstants.CSS_MARGIN_RIGHT_PROPERTY);
  vms[StyleConstants.STYLE_DISPLAY]=new DisplayManager();
  vms[StyleConstants.STYLE_TEXT_TRANSFORM]=new TextTransformManager();
  vms[StyleConstants.STYLE_BACKGROUND_POSITION_Y]=new BackgroundPositionYManager();
  vms[StyleConstants.STYLE_PADDING_LEFT]=new LengthManager(CSSConstants.CSS_PADDING_LEFT_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_PADDING_RIGHT]=new LengthManager(CSSConstants.CSS_PADDING_RIGHT_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_FONT_SIZE]=new FontSizeManager();
  vms[StyleConstants.STYLE_FONT_STYLE]=new FontStyleManager();
  vms[StyleConstants.STYLE_WHITE_SPACE]=new WhiteSpaceManager();
  vms[StyleConstants.STYLE_ORPHANS]=new IntegerManager(CSSConstants.CSS_ORPHANS_PROPERTY,true,2);
  vms[StyleConstants.STYLE_MASTER_PAGE]=new RawStringManager(BIRTConstants.BIRT_MASTER_PAGE_PROPERTY,false,null);
  vms[StyleConstants.STYLE_WORD_SPACING]=new SpacingManager(CSSConstants.CSS_WORD_SPACING_PROPERTY);
  vms[StyleConstants.STYLE_BACKGROUND_POSITION_X]=new BackgroundPositionXManager();
  vms[StyleConstants.STYLE_PAGE_BREAK_BEFORE]=new PageBreakBeforeAfterManager(CSSConstants.CSS_PAGE_BREAK_BEFORE_PROPERTY);
  vms[StyleConstants.STYLE_PAGE_BREAK_INSIDE]=new PageBreakInsideManager();
  vms[StyleConstants.STYLE_SHOW_IF_BLANK]=new BooleanManager(BIRTConstants.BIRT_SHOW_IF_BLANK_PROPERTY,true,false);
  vms[StyleConstants.STYLE_FONT_FAMILY]=new FontFamilyManager();
  vms[StyleConstants.STYLE_PAGE_BREAK_AFTER]=new PageBreakBeforeAfterManager(CSSConstants.CSS_PAGE_BREAK_AFTER_PROPERTY);
  vms[StyleConstants.STYLE_MARGIN_BOTTOM]=new MarginManager(CSSConstants.CSS_MARGIN_BOTTOM_PROPERTY);
  vms[StyleConstants.STYLE_MARGIN_TOP]=new MarginManager(CSSConstants.CSS_MARGIN_TOP_PROPERTY);
  vms[StyleConstants.STYLE_WIDOWS]=new IntegerManager(CSSConstants.CSS_WIDOWS_PROPERTY,true,2);
  vms[StyleConstants.STYLE_PADDING_BOTTOM]=new LengthManager(CSSConstants.CSS_PADDING_BOTTOM_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_PADDING_TOP]=new LengthManager(CSSConstants.CSS_PADDING_TOP_PROPERTY,false,CSSValueConstants.NUMBER_0);
  vms[StyleConstants.STYLE_VISIBLE_FORMAT]=new VisibleFormatManager();
}