Added Pattern.times()