t a regular expression \"" + regex
            + "\": " + RegexUtil.regexException(regex).getMessage());
        System.exit(1);
    }
</pre>
      </div>

      <div id="run2">
        <h4>5. Re-run the Regex Checker</h4>

        <pre>
$ <strong>javacheck -processor org.checkerframework.checker.regex.RegexChecker RegexExample.java</strong>
</pre>

        <p>There should be no warnings.  This shows that the code will not
        throw a PatternSyntaxException at compile time.</p>
      </div>

      <div 