Program: 79224
Project: 79224
Buggy source:
/** 
 * @param style
 * @param handle
 * @param parentHandle
 */
protected void setupDistinctStyleProperties(StyleDesign style,DesignElementHandle handle,DesignElementHandle parentHandle){
  setStyleProperty(style,Style.BACKGROUND_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BACKGROUND_COLOR_PROP));
  setStyleProperty(style,Style.BACKGROUND_IMAGE_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_IMAGE_PROP));
  setStyleProperty(style,Style.BACKGROUND_POSITION_X_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_POSITION_X_PROP));
  setStyleProperty(style,Style.BACKGROUND_POSITION_Y_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_POSITION_Y_PROP));
  setStyleProperty(style,Style.BACKGROUND_REPEAT_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_REPEAT_PROP));
  setStyleProperty(style,Style.TEXT_ALIGN_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_ALIGN_PROP));
  setStyleProperty(style,Style.TEXT_INDENT_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_INDENT_PROP));
  setStyleProperty(style,Style.LETTER_SPACING_PROP,getDistinctProperty(handle,parentHandle,Style.LETTER_SPACING_PROP));
  setStyleProperty(style,Style.LINE_HEIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.LINE_HEIGHT_PROP));
  setStyleProperty(style,Style.ORPHANS_PROP,getDistinctProperty(handle,parentHandle,Style.ORPHANS_PROP));
  setStyleProperty(style,Style.TEXT_TRANSFORM_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_TRANSFORM_PROP));
  setStyleProperty(style,Style.VERTICAL_ALIGN_PROP,getDistinctProperty(handle,parentHandle,Style.VERTICAL_ALIGN_PROP));
  setStyleProperty(style,Style.WHITE_SPACE_PROP,getDistinctProperty(handle,parentHandle,Style.WHITE_SPACE_PROP));
  setStyleProperty(style,Style.WIDOWS_PROP,getDistinctProperty(handle,parentHandle,Style.WIDOWS_PROP));
  setStyleProperty(style,Style.WORD_SPACING_PROP,getDistinctProperty(handle,parentHandle,Style.WORD_SPACING_PROP));
  setStyleProperty(style,Style.DISPLAY_PROP,getDistinctProperty(handle,parentHandle,Style.DISPLAY_PROP));
  setStyleProperty(style,Style.MASTER_PAGE_PROP,getDistinctProperty(handle,parentHandle,Style.MASTER_PAGE_PROP));
  setStyleProperty(style,Style.PAGE_BREAK_AFTER_PROP,getDistinctProperty(handle,parentHandle,Style.PAGE_BREAK_AFTER_PROP));
  setStyleProperty(style,Style.PAGE_BREAK_BEFORE_PROP,getDistinctProperty(handle,parentHandle,Style.PAGE_BREAK_BEFORE_PROP));
  setStyleProperty(style,Style.PAGE_BREAK_INSIDE_PROP,getDistinctProperty(handle,parentHandle,Style.PAGE_BREAK_INSIDE_PROP));
  setStyleProperty(style,Style.FONT_FAMILY_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_FAMILY_PROP));
  setStyleProperty(style,Style.COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.COLOR_PROP));
  setStyleProperty(style,Style.FONT_SIZE_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_SIZE_PROP));
  setStyleProperty(style,Style.FONT_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_STYLE_PROP));
  setStyleProperty(style,Style.FONT_WEIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_WEIGHT_PROP));
  setStyleProperty(style,Style.FONT_VARIANT_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_VARIANT_PROP));
  setStyleProperty(style,Style.TEXT_LINE_THROUGH_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_LINE_THROUGH_PROP));
  setStyleProperty(style,Style.TEXT_OVERLINE_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_OVERLINE_PROP));
  setStyleProperty(style,Style.TEXT_UNDERLINE_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_UNDERLINE_PROP));
  setStyleProperty(style,Style.BORDER_BOTTOM_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_BOTTOM_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_BOTTOM_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_BOTTOM_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_BOTTOM_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_BOTTOM_WIDTH_PROP));
  setStyleProperty(style,Style.BORDER_LEFT_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_LEFT_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_LEFT_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_LEFT_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_LEFT_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_LEFT_WIDTH_PROP));
  setStyleProperty(style,Style.BORDER_RIGHT_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_RIGHT_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_RIGHT_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_RIGHT_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_RIGHT_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_RIGHT_WIDTH_PROP));
  setStyleProperty(style,Style.BORDER_TOP_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_TOP_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_TOP_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_TOP_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_TOP_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_TOP_WIDTH_PROP));
  setStyleProperty(style,Style.MARGIN_TOP_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_TOP_PROP));
  setStyleProperty(style,Style.MARGIN_LEFT_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_LEFT_PROP));
  setStyleProperty(style,Style.MARGIN_BOTTOM_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_BOTTOM_PROP));
  setStyleProperty(style,Style.MARGIN_RIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_RIGHT_PROP));
  setStyleProperty(style,Style.PADDING_TOP_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_TOP_PROP));
  setStyleProperty(style,Style.PADDING_LEFT_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_LEFT_PROP));
  setStyleProperty(style,Style.PADDING_BOTTOM_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_BOTTOM_PROP));
  setStyleProperty(style,Style.PADDING_RIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_RIGHT_PROP));
  setStyleProperty(style,Style.DATE_TIME_FORMAT_PROP,handle.getProperty(Style.DATE_TIME_FORMAT_PROP));
  setStyleProperty(style,Style.NUMBER_FORMAT_PROP,handle.getProperty(Style.NUMBER_FORMAT_PROP));
  setStyleProperty(style,Style.NUMBER_ALIGN_PROP,handle.getProperty(Style.NUMBER_ALIGN_PROP));
  setStyleProperty(style,Style.STRING_FORMAT_PROP,handle.getProperty(Style.STRING_FORMAT_PROP));
  setStyleProperty(style,Style.CAN_SHRINK_PROP,handle.getProperty(Style.CAN_SHRINK_PROP));
  setStyleProperty(style,Style.MASTER_PAGE_PROP,handle.getProperty(Style.MASTER_PAGE_PROP));
  setStyleProperty(style,Style.SHOW_IF_BLANK_PROP,handle.getProperty(Style.SHOW_IF_BLANK_PROP));
}

Fixed version (ground truth):
/** 
 * @param style
 * @param handle
 * @param parentHandle
 */
protected void setupDistinctStyleProperties(StyleDesign style,DesignElementHandle handle,DesignElementHandle parentHandle){
  setStyleProperty(style,Style.BACKGROUND_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BACKGROUND_COLOR_PROP));
  setStyleProperty(style,Style.BACKGROUND_IMAGE_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_IMAGE_PROP));
  setStyleProperty(style,Style.BACKGROUND_POSITION_X_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_POSITION_X_PROP));
  setStyleProperty(style,Style.BACKGROUND_POSITION_Y_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_POSITION_Y_PROP));
  setStyleProperty(style,Style.BACKGROUND_REPEAT_PROP,getDistinctProperty(handle,parentHandle,Style.BACKGROUND_REPEAT_PROP));
  setStyleProperty(style,Style.TEXT_ALIGN_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_ALIGN_PROP));
  setStyleProperty(style,Style.TEXT_INDENT_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_INDENT_PROP));
  setStyleProperty(style,Style.LETTER_SPACING_PROP,getDistinctProperty(handle,parentHandle,Style.LETTER_SPACING_PROP));
  setStyleProperty(style,Style.LINE_HEIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.LINE_HEIGHT_PROP));
  setStyleProperty(style,Style.ORPHANS_PROP,getDistinctProperty(handle,parentHandle,Style.ORPHANS_PROP));
  setStyleProperty(style,Style.TEXT_TRANSFORM_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_TRANSFORM_PROP));
  setStyleProperty(style,Style.VERTICAL_ALIGN_PROP,getDistinctProperty(handle,parentHandle,Style.VERTICAL_ALIGN_PROP));
  setStyleProperty(style,Style.WHITE_SPACE_PROP,getDistinctProperty(handle,parentHandle,Style.WHITE_SPACE_PROP));
  setStyleProperty(style,Style.WIDOWS_PROP,getDistinctProperty(handle,parentHandle,Style.WIDOWS_PROP));
  setStyleProperty(style,Style.WORD_SPACING_PROP,getDistinctProperty(handle,parentHandle,Style.WORD_SPACING_PROP));
  setStyleProperty(style,Style.DISPLAY_PROP,getDistinctProperty(handle,parentHandle,Style.DISPLAY_PROP));
  setStyleProperty(style,Style.MASTER_PAGE_PROP,getDistinctProperty(handle,parentHandle,Style.MASTER_PAGE_PROP));
  setStyleProperty(style,Style.PAGE_BREAK_AFTER_PROP,getDistinctProperty(handle,parentHandle,Style.PAGE_BREAK_AFTER_PROP));
  setStyleProperty(style,Style.PAGE_BREAK_BEFORE_PROP,getDistinctProperty(handle,parentHandle,Style.PAGE_BREAK_BEFORE_PROP));
  setStyleProperty(style,Style.PAGE_BREAK_INSIDE_PROP,getDistinctProperty(handle,parentHandle,Style.PAGE_BREAK_INSIDE_PROP));
  setStyleProperty(style,Style.SHOW_IF_BLANK_PROP,getDistinctProperty(handle,parentHandle,Style.SHOW_IF_BLANK_PROP));
  setStyleProperty(style,Style.CAN_SHRINK_PROP,getDistinctProperty(handle,parentHandle,Style.CAN_SHRINK_PROP));
  setStyleProperty(style,Style.FONT_FAMILY_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_FAMILY_PROP));
  setStyleProperty(style,Style.COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.COLOR_PROP));
  setStyleProperty(style,Style.FONT_SIZE_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_SIZE_PROP));
  setStyleProperty(style,Style.FONT_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_STYLE_PROP));
  setStyleProperty(style,Style.FONT_WEIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_WEIGHT_PROP));
  setStyleProperty(style,Style.FONT_VARIANT_PROP,getDistinctProperty(handle,parentHandle,Style.FONT_VARIANT_PROP));
  setStyleProperty(style,Style.TEXT_LINE_THROUGH_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_LINE_THROUGH_PROP));
  setStyleProperty(style,Style.TEXT_OVERLINE_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_OVERLINE_PROP));
  setStyleProperty(style,Style.TEXT_UNDERLINE_PROP,getDistinctProperty(handle,parentHandle,Style.TEXT_UNDERLINE_PROP));
  setStyleProperty(style,Style.BORDER_BOTTOM_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_BOTTOM_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_BOTTOM_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_BOTTOM_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_BOTTOM_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_BOTTOM_WIDTH_PROP));
  setStyleProperty(style,Style.BORDER_LEFT_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_LEFT_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_LEFT_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_LEFT_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_LEFT_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_LEFT_WIDTH_PROP));
  setStyleProperty(style,Style.BORDER_RIGHT_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_RIGHT_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_RIGHT_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_RIGHT_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_RIGHT_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_RIGHT_WIDTH_PROP));
  setStyleProperty(style,Style.BORDER_TOP_COLOR_PROP,getDistinctColorProperty(handle,parentHandle,Style.BORDER_TOP_COLOR_PROP));
  setStyleProperty(style,Style.BORDER_TOP_STYLE_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_TOP_STYLE_PROP));
  setStyleProperty(style,Style.BORDER_TOP_WIDTH_PROP,getDistinctProperty(handle,parentHandle,Style.BORDER_TOP_WIDTH_PROP));
  setStyleProperty(style,Style.MARGIN_TOP_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_TOP_PROP));
  setStyleProperty(style,Style.MARGIN_LEFT_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_LEFT_PROP));
  setStyleProperty(style,Style.MARGIN_BOTTOM_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_BOTTOM_PROP));
  setStyleProperty(style,Style.MARGIN_RIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.MARGIN_RIGHT_PROP));
  setStyleProperty(style,Style.PADDING_TOP_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_TOP_PROP));
  setStyleProperty(style,Style.PADDING_LEFT_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_LEFT_PROP));
  setStyleProperty(style,Style.PADDING_BOTTOM_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_BOTTOM_PROP));
  setStyleProperty(style,Style.PADDING_RIGHT_PROP,getDistinctProperty(handle,parentHandle,Style.PADDING_RIGHT_PROP));
  setStyleProperty(style,Style.DATE_TIME_FORMAT_PROP,handle.getProperty(Style.DATE_TIME_FORMAT_PROP));
  setStyleProperty(style,Style.NUMBER_FORMAT_PROP,handle.getProperty(Style.NUMBER_FORMAT_PROP));
  setStyleProperty(style,Style.NUMBER_ALIGN_PROP,handle.getProperty(Style.NUMBER_ALIGN_PROP));
  setStyleProperty(style,Style.STRING_FORMAT_PROP,handle.getProperty(Style.STRING_FORMAT_PROP));
  setStyleProperty(style,Style.MASTER_PAGE_PROP,handle.getProperty(Style.MASTER_PAGE_PROP));
}