bots/cli/build.gradle

*** 78,10 ***
                     'org.openjdk.skara.bots.forward']
          launchers = ['skara-bots': 'org.openjdk.skara.bots.cli/org.openjdk.skara.bots.cli.BotLauncher']
          options = ["--module-path", "plugins"]
          bundles = ['zip', 'tar.gz']
          jdk {
!             url = 'https://download.java.net/java/GA/jdk12/GPL/openjdk-12_linux-x64_bin.tar.gz'
!             sha256 = 'b43bc15f4934f6d321170419f2c24451486bc848a2179af5e49d10721438dd56'
          }
      }
  }
--- 78,10 ---
                     'org.openjdk.skara.bots.forward']
          launchers = ['skara-bots': 'org.openjdk.skara.bots.cli/org.openjdk.skara.bots.cli.BotLauncher']
          options = ["--module-path", "plugins"]
          bundles = ['zip', 'tar.gz']
          jdk {
!             url = 'https://download.java.net/java/GA/jdk13.0.1/cec27d702aa74d5a8630c65ae61e4305/9/GPL/openjdk-13.0.1_linux-x64_bin.tar.gz'
!             sha256 = '2e01716546395694d3fad54c9b36d1cd46c5894c06f72d156772efbcf4b41335'
          }
      }
  }