Update URLs

3 files changed, 5 insertions, 5 deletions

diff --git a/annotation-file-utilities/annotation-file-format.tex b/annotation-file-utilities/annotation-file-format.tex
index ad425aa..8527b26 100644
--- a/annotation-file-utilities/annotation-file-format.tex
+++ b/annotation-file-utilities/annotation-file-format.tex
@@ -1170,7 +1170,7 @@ The type argument index used in the \bnfnt{type-path} rule must be \bnflit{0} un
 \bnflit{3}. In this case, the type argument index selects which type argument
 of a parameterized type to use.
 
-\urldef\cftp\url|http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html#class-file:ext:type_path|
+\urldef\cftp\url|https://checkerframework.org/jsr308/specification/java-annotation-design.html#class-file:ext:type_path|
 Type paths are explained in more detail, with many examples to ease
 understanding, in Section 3.4 of the JSR 308 Specification.\footnotemark
 \footnotetext{\cftp}
diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html
index 0b478de..bf25156 100644
--- a/annotation-file-utilities/annotation-file-utilities.html
+++ b/annotation-file-utilities/annotation-file-utilities.html
@@ -152,7 +152,7 @@ The current release is Annotation File Utilities version
   <pre><code>unzip annotation-tools-3.6.38.zip</code></pre>
 
   The <code>annotation-tools</code> directory must be a sibling of the <code>jsr308-langtools</code>
-  directory (available at <a href="http://types.cs.washington.edu/jsr308/">http://types.cs.washington.edu/jsr308/</a>).
+  directory (available at <a href="https://checkerframework.org/jsr308/">https://checkerframework.org/jsr308/</a>).
   Alternatively, Unix (including Linux and MacOS) users may set the <code>LANGTOOLS</code> environment variable to
   the location of the <code>jsr308-langtools</code> directory:
 
@@ -443,7 +443,7 @@ into source code.</p>
 <p>The <code>asmx</code> sub-project provides methods for reading and
 writing class files.  <code>asmx</code> is based on an old version
 (2.2.2) of the <a href="http://asm.ow2.org/">ASM Framework</a>. It has been modified to
-allow it to read and write <a href="http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html">JSR 308</a>
+allow it to read and write <a href="https://checkerframework.org/jsr308/specification/java-annotation-design.html">JSR 308</a>
 annotations in bytecode.  However, it is far behind the current ASM
 version (5.0), which provides support for type annotations. We should
 discard the custom <code>asmx</code> in the Annotation File Utilities
diff --git a/annotation-file-utilities/changelog.html b/annotation-file-utilities/changelog.html
index faa2ad2..201d689 100644
--- a/annotation-file-utilities/changelog.html
+++ b/annotation-file-utilities/changelog.html
@@ -774,8 +774,8 @@ This is the changelog for the
   Version 2.1.1 (released May 31, 2007):
   Added support for two new annotation target_types; consult the
   classfile specification (<a
-  href="http://types.cs.washington.edu/jsr308/specification/java-annotation-design.pdf">PDF</a>,
-  <a href="http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html">HTML</a>).
+  href="https://checkerframework.org/jsr308/specification/java-annotation-design.pdf">PDF</a>,
+  <a href="https://checkerframework.org/jsr308/specification/java-annotation-design.html">HTML</a>).
   </li>
 
   <li>