Extracts an optional argument from an annotation with a single string-valued argument with a default value.