docs: correcting links to antithesis.com/docs/

ffi/build.gradle

@@ -29,7 +29,7 @@ publishing {
             pom {
                 name = "${implementationTitle}"
                 description = 'This internal library provides methods for Java programs to interface with Antithesis platform.'
-                url = 'https://antithesis.com/docs/using_antithesis/sdk/java/overview.html'
+                url = 'https://antithesis.com/docs/using_antithesis/sdk/java/overview/'
 
                 licenses {
                     license {

sdk/build.gradle

@@ -21,7 +21,7 @@ publishing {
             pom {
                 name = "${implementationTitle}"
                 description = 'This library provides methods for Java programs to configure the Antithesis platform.'
-                url = 'https://antithesis.com/docs/using_antithesis/sdk/java/overview.html'
+                url = 'https://antithesis.com/docs/using_antithesis/sdk/java/overview/'
 
                 licenses {
                     license {

sdk/src/main/java/com/antithesis/sdk/Assert.java

@@ -5,15 +5,15 @@
 import com.fasterxml.jackson.databind.node.ObjectNode;
 
 /**
- * The Assert class enables defining <a href="https://antithesis.com/docs/using_antithesis/properties.html" target="_blank">test properties</a>
- * about your program or <a href="https://antithesis.com/docs/getting_started/workload.html" target="_blank">workload</a>.
+ * The Assert class enables defining <a href="https://antithesis.com/docs/using_antithesis/properties/" target="_blank">test properties</a>
+ * about your program or <a href="https://antithesis.com/docs/getting_started/first_test/" target="_blank">workload</a>.
  * <p>
  * Each static method in this class takes a parameter called <code>message</code>, which is
  * a string literal identifier used to aggregate assertions.
- * Antithesis generates one test property per unique <code>message</code>.  This test property will be named <code>message</code> in the <a href="https://antithesis.com/docs/reports/triage.html" target="_blank">triage report</a>.
+ * Antithesis generates one test property per unique <code>message</code>.  This test property will be named <code>message</code> in the <a href="https://antithesis.com/docs/reports/triage/" target="_blank">triage report</a>.
  * <p>
  * Each static method also takes a parameter called <code>details</code>, which is an <code>ObjectNode</code> reference of optional additional information provided by the user to add context for assertion failures.
- * The information that is logged will appear in the <code>logs</code> section of a <a href="https://antithesis.com/docs/reports/triage.html" target="_blank">triage report</a>.
+ * The information that is logged will appear in the <code>logs</code> section of a <a href="https://antithesis.com/docs/reports/triage/" target="_blank">triage report</a>.
  * Normally the values in <code>details</code> are evaluated at runtime.
  */
 final public class Assert {
@@ -178,7 +178,7 @@ public static void reachable(final String message, final ObjectNode details) {
      * of the <code>hit</code> parameter to false.
      * <p>
      * Please refer to the general Antithesis documentation regarding the
-     * use of the <a href="https://antithesis.com/docs/using_antithesis/sdk/fallback/assert.html" target="_blank">Fallback SDK</a>
+     * use of the <a href="https://antithesis.com/docs/using_antithesis/sdk/fallback/assert/" target="_blank">Fallback SDK</a>
      * for additional information.
      *
      * @param assertType   must be a valid Assertion.AssertType value

sdk/src/main/java/com/antithesis/sdk/Lifecycle.java

@@ -20,7 +20,7 @@ public Lifecycle() {
      * Indicates to Antithesis that setup has completed. Call this function when
      * your system and workload are fully initialized.
      * After this function is called, Antithesis will take a snapshot of your system
-     * and begin <a href="https://antithesis.com/docs/applications/reliability/fault_injection.html" target="_blank">injecting faults</a>.
+     * and begin <a href="https://antithesis.com/docs/applications/reliability/fault_injection/" target="_blank">injecting faults</a>.
      * <p>
      * Calling this function multiple times or from multiple processes will have no effect.
      * Antithesis will treat the first time any process called this function as

sdk/src/main/java/com/antithesis/sdk/Random.java

@@ -9,7 +9,7 @@
  * <p>
  * These methods should not be used to seed a conventional PRNG, and should not have their return values stored and used to make a decision at a later time.
  * Doing either of these things makes it much harder for the Antithesis platform to control the history of your program's execution, and also makes it harder for Antithesis to learn which inputs provided at which times are most fruitful.
- * Instead, you should call a method from the random class every time your program or <a href="https://antithesis.com/docs/getting_started/workload.html" target="_blank">workload</a> needs to make a decision, at the moment that you need to make the decision.
+ * Instead, you should call a method from the random class every time your program or <a href="https://antithesis.com/docs/getting_started/first_test/" target="_blank">workload</a> needs to make a decision, at the moment that you need to make the decision.
  * <p>
  * These methods are also safe to call outside the Antithesis environment, where
  * they will fall back on the Java standard class library implementation.