Integrated: 2317: Avoid use of deprecated Thread.getId()

[Pavel Rappo]

On Fri, 5 Jul 2024 10:07:11 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> `Thread.getId()` was deprecated in JDK 19, as part of [JDK-8284161]. Skara build now produces warnings because of that method:
> 
>     Task :bot:compileTestJava
>     Note: skara/bot/src/test/java/org/openjdk/skara/bot/BotTaskAggregationHandlerTests.java uses or overrides a deprecated API.
> 
> [JDK-8284161]: https://bugs.openjdk.org/browse/JDK-8284161

This pull request has now been integrated.

Changeset: d1ad1865
Author:    Pavel Rappo <prappo at openjdk.org>
Committer: Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/d1ad1865a4ba04b3b629592a80fd5a186aa8b6e9
Stats:     4 lines in 1 file changed: 0 ins; 0 del; 4 mod

2317: Avoid use of deprecated Thread.getId()

Reviewed-by: erikj, zsong

-------------

PR: https://git.openjdk.org/skara/pull/1669