id="runex2">
        <h4>6. Run the Example</h4>

        <p>Run the program as before (but adding <code>checker-qual.jar</code> to the classpath)
        to verify that the program
        prints a user-friendly warning.</p>
        <pre>
$ <strong>java -cp ".:$CHECKERFRAMEWORK/checker/dist/checker-qual.jar" RegexExample '[01]?[\d-\([0123]?\d\)-\d{4}+' '01-24-2013'</strong>
Input is not a regular expression "[01]?[d-([0123]?d)-d{4}+": Illegal character range near index 24
</pre>

        <p>For a full disc