code: public boolean isDeviceAmongPreferredDevices(Device device) {
  	   maybeSetUpDefaultPreferredDevices();
  	   
  	   boolean result = false;
  	   synchronized (this) {
  		   result = preferredDevices.get().contains(device);
  	   }
  	   
  	   return result;
     }
docs: Validates if the specified devices is among the preferred devices for executing the kernel associated with the current
  kernel preferences.
  @param device the device to be tested
  @return <ul><li>true, if specified device is among the preferred devices</li>
  <li>false, otherwise</li></ul>