Merge branch '11-check-and-fix-random-request-generator' into 'main'

build.gradle

gradle.properties

src/main/jastadd/InferParameter.jrag

src/main/jastadd/RandomRequestGenerator.jrag

src/main/jastadd/Reference.jrag

...de/tudresden/inf/st/openapi/HttpURLConnectionExample.java

src/main/java/de/tudresden/inf/st/openapi/ListAPIs.java

src/main/java/de/tudresden/inf/st/openapi/OpenAPIMain.java

src/main/resources/3.0/api-with-examples.json

src/main/resources/3.0/api-with-examples.yaml

src/main/resources/3.0/callback-example.json

src/main/resources/3.0/callback-example.yaml

src/main/resources/3.0/link-example.json

src/main/resources/3.0/link-example.yaml

src/main/resources/3.0/petstore-expanded.json

src/main/resources/3.0/uspto.json

src/main/resources/3.0/uspto.yaml

...resources/APIs/1password.local/connect/1.3.0/openapi.yaml

src/main/resources/APIs/ably.net/control/1.0.14/openapi.yaml

...urces/APIs/abstractapi.com/geolocation/1.0.0/openapi.yaml