Wouter Born f00c7700cb Start license headers with `/*` instead of `/**` (#4544) ... Prevents JavaDoc tooling issues because these tools check comments starting with `/**`. Signed-off-by: Wouter Born <github@maindrain.net>		2025-01-07 21:48:56 +01:00
..
checkstyle	Start license headers with `/*` instead of `/**` (#4544)	2025-01-07 21:48:56 +01:00
pmd	Conditionally use a thread pool backed sequential executor for DSL rules and events (#3890)	2024-04-29 09:11:56 +02:00
spotbugs	Raise minimum JDK version to 17 (#2994)	2022-12-19 19:52:43 +01:00