anchor.diff:     */
     static List<String> getExtraVmOptions(Map configuration) =>
         getExtraOptions(configuration, 'vm_options');
  +
  +  static int shortNameCounter = 0;  // Make unique short file names on Windows.
   
     static String getShortName(String path) {
       final PATH_REPLACEMENTS = const {
  
positive.code:     }
      path = path.replaceAll('/', '_');
      final int WINDOWS_SHORTEN_PATH_LIMIT = 58;
      if (Platform.operatingSystem == 'windows' &&
          path.length > WINDOWS_SHORTEN_PATH_LIMIT) {
        for (var key in PATH_REPLACEMENTS.keys) {
  
negative.code:           break;
          }
        }
        if (path.length > WINDOWS_SHORTEN_PATH_LIMIT) {
          ++shortNameCounter;
          var pathEnd = path.substring(path.length - WINDOWS_PATH_END_LENGTH);
          path = "short${shortNameCounter}_$pathEnd";
        }
      }
      return path;
    }
  