Allow / in patterns

If the pattern in JSON looks like this to match a date, it does not work.

    pattern: "^\\d{4}/\\d{2}/\\d{2}$"

This patch changes the delimiters to #, which have no special meaning as well as occur infrequently, then also changes # in the pattern to \#.