nternet. To do so, you can write an
    Encryption Checker.</p>
  </div>

  <div id="annotation">
    <h4>2. Write the type annotation definitions</h4>

    <p>For this example, the annotation definitions have already been
    written for you and appear in files <code>Encrypted.java</code>,
    <code>PossiblyUnencrypted.java</code>, and
    <code>PolyEncrypted.java</code>.</p>

    <p><b>Compile the annotation definitions.</b></p>
    <pre>
$ <strong>javacheck myqual/Encrypted.java myqual/PossiblyUnencrypte