Program: 102141
Project: 102141
Buggy source:
/** 
 * Refreshes the local collection of Translators on the referenced Teiid server.
 * @param translators
 * @throws Exception
 */
protected void refreshTranslators(Collection<? extends Translator> translators) throws Exception {
  for (  Translator translator : translators) {
    if (translator.getName() != null) {
      if (teiidServer.getServerVersion().isLessThan(Version.TEIID_8_6.get())) {
        Collection<? extends PropertyDefinition> propDefs=this.admin.getTemplatePropertyDefinitions(translator.getName());
        this.translatorByNameMap.put(translator.getName(),new TeiidTranslator(translator,propDefs,teiidServer));
      }
 else       if (teiidServer.getServerVersion().isLessThan(Version.TEIID_8_7.get())) {
        Collection<? extends PropertyDefinition> propDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName());
      }
 else {
        Collection<? extends PropertyDefinition> propDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName(),Admin.TranlatorPropertyType.OVERRIDE);
        Collection<? extends PropertyDefinition> importPropDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName(),Admin.TranlatorPropertyType.IMPORT);
        Collection<? extends PropertyDefinition> extPropDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName(),Admin.TranlatorPropertyType.EXTENSION_METADATA);
        this.translatorByNameMap.put(translator.getName(),new TeiidTranslator(translator,propDefs,importPropDefs,extPropDefs,teiidServer));
      }
    }
  }
}

Fixed version (ground truth):
/** 
 * Refreshes the local collection of Translators on the referenced Teiid server.
 * @param translators
 * @throws Exception
 */
protected void refreshTranslators(Collection<? extends Translator> translators) throws Exception {
  for (  Translator translator : translators) {
    if (translator.getName() != null) {
      if (teiidServer.getServerVersion().isLessThan(Version.TEIID_8_6.get())) {
        Collection<? extends PropertyDefinition> propDefs=this.admin.getTemplatePropertyDefinitions(translator.getName());
        this.translatorByNameMap.put(translator.getName(),new TeiidTranslator(translator,propDefs,teiidServer));
      }
 else       if (teiidServer.getServerVersion().isLessThan(Version.TEIID_8_7.get())) {
        Collection<? extends PropertyDefinition> propDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName());
        this.translatorByNameMap.put(translator.getName(),new TeiidTranslator(translator,propDefs,teiidServer));
      }
 else {
        Collection<? extends PropertyDefinition> propDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName(),Admin.TranlatorPropertyType.OVERRIDE);
        Collection<? extends PropertyDefinition> importPropDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName(),Admin.TranlatorPropertyType.IMPORT);
        Collection<? extends PropertyDefinition> extPropDefs=this.admin.getTranslatorPropertyDefinitions(translator.getName(),Admin.TranlatorPropertyType.EXTENSION_METADATA);
        this.translatorByNameMap.put(translator.getName(),new TeiidTranslator(translator,propDefs,importPropDefs,extPropDefs,teiidServer));
      }
    }
  }
}