Support for java.util.Pattern options