Program: 24997
Project: 24997
Buggy source:
/** 
 * Build a   {@link VotType} object by converting the given {@link DBType}.
 * @param tapType	{@link DBType} to convert.
 */
public VotType(final DBType tapType){
switch (tapType.type) {
case SMALLINT:
    this.datatype=VotDatatype.SHORT;
  this.arraysize=null;
this.xtype=null;
break;
case INTEGER:
this.datatype=VotDatatype.INT;
this.arraysize=null;
this.xtype=null;
break;
case BIGINT:
this.datatype=VotDatatype.LONG;
this.arraysize=null;
this.xtype=null;
break;
case REAL:
this.datatype=VotDatatype.FLOAT;
this.arraysize=null;
this.xtype=null;
break;
case DOUBLE:
this.datatype=VotDatatype.DOUBLE;
this.arraysize=null;
this.xtype=null;
break;
case CHAR:
this.datatype=VotDatatype.CHAR;
this.arraysize=Integer.toString(tapType.length > 0 ? tapType.length : null);
this.xtype=null;
break;
case BINARY:
this.datatype=VotDatatype.UNSIGNEDBYTE;
this.arraysize=Integer.toString(tapType.length > 0 ? tapType.length : null);
this.xtype=null;
break;
case VARBINARY:
this.datatype=VotDatatype.UNSIGNEDBYTE;
this.arraysize=(tapType.length > 0 ? tapType.length + "String_Node_Str" : "String_Node_Str");
this.xtype=null;
break;
case BLOB:
this.datatype=VotDatatype.UNSIGNEDBYTE;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_BLOB;
break;
case CLOB:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_CLOB;
break;
case TIMESTAMP:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_TIMESTAMP;
break;
case POINT:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_POINT;
break;
case REGION:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_REGION;
break;
case VARCHAR:
default :
this.datatype=VotDatatype.CHAR;
this.arraysize=(tapType.length > 0 ? tapType.length + "String_Node_Str" : "String_Node_Str");
this.xtype=null;
break;
}
}

Fixed version (ground truth):
/** 
 * Build a   {@link VotType} object by converting the given {@link DBType}.
 * @param tapType	{@link DBType} to convert.
 */
public VotType(final DBType tapType){
switch (tapType.type) {
case SMALLINT:
    this.datatype=VotDatatype.SHORT;
  this.arraysize=null;
this.xtype=null;
break;
case INTEGER:
this.datatype=VotDatatype.INT;
this.arraysize=null;
this.xtype=null;
break;
case BIGINT:
this.datatype=VotDatatype.LONG;
this.arraysize=null;
this.xtype=null;
break;
case REAL:
this.datatype=VotDatatype.FLOAT;
this.arraysize=null;
this.xtype=null;
break;
case DOUBLE:
this.datatype=VotDatatype.DOUBLE;
this.arraysize=null;
this.xtype=null;
break;
case CHAR:
this.datatype=VotDatatype.CHAR;
this.arraysize=tapType.length > 0 ? Integer.toString(tapType.length) : null;
this.xtype=null;
break;
case BINARY:
this.datatype=VotDatatype.UNSIGNEDBYTE;
this.arraysize=tapType.length > 0 ? Integer.toString(tapType.length) : null;
this.xtype=null;
break;
case VARBINARY:
this.datatype=VotDatatype.UNSIGNEDBYTE;
this.arraysize=(tapType.length > 0 ? tapType.length + "String_Node_Str" : "String_Node_Str");
this.xtype=null;
break;
case BLOB:
this.datatype=VotDatatype.UNSIGNEDBYTE;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_BLOB;
break;
case CLOB:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_CLOB;
break;
case TIMESTAMP:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_TIMESTAMP;
break;
case POINT:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_POINT;
break;
case REGION:
this.datatype=VotDatatype.CHAR;
this.arraysize="String_Node_Str";
this.xtype=VotType.XTYPE_REGION;
break;
case VARCHAR:
default :
this.datatype=VotDatatype.CHAR;
this.arraysize=(tapType.length > 0 ? tapType.length + "String_Node_Str" : "String_Node_Str");
this.xtype=null;
break;
}
}