private GDBJtagDeviceContribution findJtagDeviceByName(String name) {
   GDBJtagDeviceContribution[] availableDevices =
       GDBJtagDeviceContributionFactory.getInstance().getGDBJtagDeviceContribution();
   for (GDBJtagDeviceContribution device : availableDevices) {
     if (device.getDeviceName().equals(name)) {
       return device;
     }
   }
   return null;
 }