anchor.diff:    static const int adbServerPort = 5037;
   
     final String adbPath;
  +
  +  Map<String, String> _idToNameCache = <String, String>{};
   
     bool exists() {
       try {
  
positive.code:           if (devicesText.isEmpty) {
              controller.add(<AdbDevice>[]);
            } else {
              controller.add(devicesText.split('\n').map((String deviceInfo) {
                return new AdbDevice(deviceInfo);
              }).toList());
            }
          });
          socket.done.then((_) => controller.close());
  
negative.code:         }
        }
      }
  
      // Convert `Nexus_7` / `Nexus_5X` style names to `Nexus 7` ones.
      if (modelID != null)
        modelID = modelID.replaceAll('_', ' ');
    }
  
    static final RegExp deviceRegex = new RegExp(r'^(\S+)\s+(\S+)(.*)');
  