code: function(properties) {
  			if (properties) {
  				if (typeof properties.options === "string") {
  					var options = properties.options;
  					if (!/^\s*$/.test(options)) {
  						var userOptionsMap = {}, hasUserOption = false;
  						options.split(/,/).forEach(function(option) {
  							var match = /\s*(\w+)\s*:\s*(\w+)\s*/.exec(option); // name:value
  							if (match === null) {
  								console.log('JSLint ignoring bad option: ' + option); //$NON-NLS-1$
  							} else {
  								var name = match[1], value = match[2];
  								userOptionsMap[name] = value;
  								hasUserOption = true;
  							}
  						});
  						validationOptions = {};
  						objects.mixin(validationOptions, DEFAULT_VALIDATION_OPTIONS, userOptionsMap);
  						if (hasUserOption) {
  							console.log('JSLint using user-provided options: {' + Object.keys(userOptionsMap).map(function(k) { //$NON-NLS-1$
  								return k + ':' + userOptionsMap[k];
  							}).join(',') + "}");
  						}
  					}
  				}
  			}
  		}
docs: /* ManagedService