Wouter Born 8672ed0208 Start license headers with `/*` instead of `/**` (#18061) ... Prevents JavaDoc tooling issues because these tools check comments starting with `/**`. Signed-off-by: Wouter Born <github@maindrain.net>		2025-01-07 22:33:03 +01:00
..
checkstyle	Start license headers with `/*` instead of `/**` (#18061)	2025-01-07 22:33:03 +01:00
spotbugs	Fix findbugs instanceof pattern matching (#14329)	2023-02-04 08:26:48 +01:00