clone() in Matcher documented.