Bump the gradle-deps group with 6 updates

[dependabot]

Bumps the gradle-deps group with 6 updates:

Package	From	To
com.diffplug.spotless	8.7.0	8.8.0
com.github.therapi:therapi-runtime-javadoc-scribe	0.13.0	0.15.0
com.github.therapi:therapi-runtime-javadoc	0.13.0	0.15.0
org.key-project.proofjava:javaparser-core	3.28.0-K13.5	3.28.0-K13.5-switch
org.key-project.proofjava:javaparser-core-serialization	3.28.0-K13.5	3.28.0-K13.5-switch
org.key-project.proofjava:javaparser-symbol-solver-core	3.28.0-K13.5	3.28.0-K13.5-switch

Updates com.diffplug.spotless from 8.7.0 to 8.8.0

Updates com.github.therapi:therapi-runtime-javadoc-scribe from 0.13.0 to 0.15.0

Changelog

Sourced from com.github.therapi:therapi-runtime-javadoc-scribe's changelog.

0.15.0 - July 23, 2022

🐛 #69 Fixed a regression in 0.14.0 where attempting to get Javadoc for a nested class would throw IllegalArgumentException. Thank you to yanxiyue for investigating the issue.

🐛 #70 Fixed a problem where classes with absolutely no Javadoc would not inherit method documentation.

0.14.0 - July 15, 2022

✨ #61 Thanks to Sheikah45, methods without documentation now inherit documentation from superclass or implemented interface.

Commits

• 1387b6a fix typo
• 5c9659c Prepare 0.15.0 release
• cf97e61 add eclipse project metadata files to gitignore (#71)
• 2a8bc27 IllegalArgumentException when getting Javadoc for nested class that has no Ja...
• ea24a3f Bump version to 0.15.0-SNAPSHOT, update changelog
• 7bbdde1 Prepare release 0.14.0
• c45a90c Rename MethodJavadocKey -> MethodSignature
• 7e0e27d Resolves #61. Inherit missing javadoc components from overridden methods (#64)
• daea64a tweak NOTICE language
• da86dcd minimal-json is no longer repackaged in the scribe JAR
• Additional commits viewable in compare view

Updates com.github.therapi:therapi-runtime-javadoc from 0.13.0 to 0.15.0

Changelog

Sourced from com.github.therapi:therapi-runtime-javadoc's changelog.

0.15.0 - July 23, 2022

🐛 #69 Fixed a regression in 0.14.0 where attempting to get Javadoc for a nested class would throw IllegalArgumentException. Thank you to yanxiyue for investigating the issue.

🐛 #70 Fixed a problem where classes with absolutely no Javadoc would not inherit method documentation.

0.14.0 - July 15, 2022

✨ #61 Thanks to Sheikah45, methods without documentation now inherit documentation from superclass or implemented interface.

Commits

• 1387b6a fix typo
• 5c9659c Prepare 0.15.0 release
• cf97e61 add eclipse project metadata files to gitignore (#71)
• 2a8bc27 IllegalArgumentException when getting Javadoc for nested class that has no Ja...
• ea24a3f Bump version to 0.15.0-SNAPSHOT, update changelog
• 7bbdde1 Prepare release 0.14.0
• c45a90c Rename MethodJavadocKey -> MethodSignature
• 7e0e27d Resolves #61. Inherit missing javadoc components from overridden methods (#64)
• daea64a tweak NOTICE language
• da86dcd minimal-json is no longer repackaged in the scribe JAR
• Additional commits viewable in compare view

Updates org.key-project.proofjava:javaparser-core from 3.28.0-K13.5 to 3.28.0-K13.5-switch

Commits

• See full diff in compare view

Updates org.key-project.proofjava:javaparser-core-serialization from 3.28.0-K13.5 to 3.28.0-K13.5-switch

Commits

• See full diff in compare view

Updates org.key-project.proofjava:javaparser-symbol-solver-core from 3.28.0-K13.5 to 3.28.0-K13.5-switch

Commits

• See full diff in compare view

Updates org.key-project.proofjava:javaparser-symbol-solver-core from 3.28.0-K13.5 to 3.28.0-K13.5-switch

Commits

• See full diff in compare view

Most Recent Ignore Conditions Applied to This Pull Request

Dependency Name	Ignore Conditions
com.diffplug.spotless	[>= 6.17.a, < 6.18]
com.diffplug.spotless	[>= 6.18.a, < 6.19]
com.diffplug.spotless	[>= 6.19.a, < 6.20]
org.key-project.proofjava:javaparser-core	[< 3.29, > 3.28.0-K13.5]

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions