static string GetDeprecatedValue (AttributeCollection attributes)
		{
			if (attributes.Get<DeprecatedAttribute> () == null)
				return "not deprecated";
			return "deprecated";
		}