BUG-5410: introduce RegularExpression.toPatternString()