gather_targets_from_targetexplorerdb now uses the TargetExplorerDB network API instead of the old XML file format