code: function recordError(errors, error) {
  				var len = errors.length;
  				for (var e = 0; e < len; e++) {
  					var existing = errors[e];
  					if (existing.index === error.index && existing.message === error.message) {
  						return; // do not add duplicate
  					}
  				}
  				errors.push(error);
  			}
docs: $NON-NLS-1$