Program: 148919
Project: 148919
Buggy source:
private static String getNewName(Shell shell,String displayName,final XtentisPort destPort){
  InputDialog id;
  id=new InputDialog(shell,"String_Node_Str","String_Node_Str",displayName,new IInputValidator(){
    public String isValid(    String newText){
      if ((newText == null) || "String_Node_Str".equals(newText))       return "String_Node_Str";
      try {
        if (destPort.existsDataModel(new WSExistsDataModel(new WSDataModelPK(newText))).is_true() || destPort.existsView(new WSExistsView(new WSViewPK(newText))).is_true() || destPort.existsDataCluster(new WSExistsDataCluster(new WSDataClusterPK(newText))).is_true()|| destPort.existsStoredProcedure(new WSExistsStoredProcedure(new WSStoredProcedurePK(newText))).is_true()|| destPort.existsRole(new WSExistsRole(new WSRolePK(newText))).is_true()|| destPort.existsRoutingRule(new WSExistsRoutingRule(new WSRoutingRulePK(newText))).is_true()|| destPort.existsTransformerV2(new WSExistsTransformerV2(new WSTransformerV2PK(newText))).is_true()|| destPort.existsMenu(new WSExistsMenu(new WSMenuPK(newText))).is_true()|| destPort.existsUniverse(new WSExistsUniverse(new WSUniversePK(newText))).is_true()|| destPort.existsSynchronizationPlan(new WSExistsSynchronizationPlan(new WSSynchronizationPlanPK(newText))).is_true())         return "String_Node_Str";
      }
 catch (      RemoteException e) {
        e.printStackTrace();
      }
      return null;
    }
  }
);
  id.setBlockOnOpen(true);
  if (id.open() == Window.OK)   return id.getValue();
 else   return null;
}

Fixed version (ground truth):
private static String getNewName(Shell shell,String displayName,final XtentisPort destPort,final int type){
  InputDialog id;
  id=new InputDialog(shell,"String_Node_Str","String_Node_Str",displayName,new IInputValidator(){
    public String isValid(    String newText){
      if ((newText == null) || "String_Node_Str".equals(newText))       return "String_Node_Str";
      try {
        if ((type == TreeObject.DATA_MODEL && destPort.existsDataModel(new WSExistsDataModel(new WSDataModelPK(newText))).is_true()) || (type == TreeObject.VIEW && destPort.existsView(new WSExistsView(new WSViewPK(newText))).is_true()) || (type == TreeObject.DATA_CLUSTER && destPort.existsDataCluster(new WSExistsDataCluster(new WSDataClusterPK(newText))).is_true())|| (type == TreeObject.STORED_PROCEDURE && destPort.existsStoredProcedure(new WSExistsStoredProcedure(new WSStoredProcedurePK(newText))).is_true())|| (type == TreeObject.ROUTING_RULE && destPort.existsRoutingRule(new WSExistsRoutingRule(new WSRoutingRulePK(newText))).is_true())|| (type == TreeObject.TRANSFORMER && destPort.existsTransformerV2(new WSExistsTransformerV2(new WSTransformerV2PK(newText))).is_true())|| (type == TreeObject.MENU && destPort.existsMenu(new WSExistsMenu(new WSMenuPK(newText))).is_true()))         return "String_Node_Str";
        if (Util.IsEnterPrise() && ((type == TreeObject.ROLE && destPort.existsRole(new WSExistsRole(new WSRolePK(newText))).is_true()) || (type == TreeObject.UNIVERSE && destPort.existsUniverse(new WSExistsUniverse(new WSUniversePK(newText))).is_true()) || (type == TreeObject.SYNCHRONIZATIONPLAN && destPort.existsSynchronizationPlan(new WSExistsSynchronizationPlan(new WSSynchronizationPlanPK(newText))).is_true())))         return "String_Node_Str";
      }
 catch (      RemoteException e) {
        e.printStackTrace();
      }
      return null;
    }
  }
);
  id.setBlockOnOpen(true);
  if (id.open() == Window.OK)   return id.getValue();
 else   return null;
}