docs: @Requires({
      "name != null",
      "!name.isEmpty()",
      "kind != null"
    })
    public static URI getUriForClass(String name, Kind kind) {
      try {
        return new URI("com.google.java.contract://com.google.java.contract/" + name + kind.extension);
      } catch (URISyntaxException e) {
        throw new IllegalArgumentException();
      }
    }