r words, it prevents you from writing code
        that would throw certain exceptions at run time. Next <b>run the Regex
        Checker</b> to see how it could have spotted this issue at compile
        time.
        </p>
        <pre>
$ <strong>javacheck -processor org.checkerframework.checker.regex.RegexChecker RegexExample.java</strong>
RegexExample.java:13: error: [argument] incompatible types in argument.
        Pattern pat = Pattern.compile(regex);
                                      ^
  found   