Review java.util.regex.*.