Migrate to JSpecify#4928

Closed

christophstrobl wants to merge 17 commits into5.0.xfrom

Commits on Mar 19, 2025

Prepare next development iteration.

mp911de
authored and
christophstrobl
committed
After release cleanups.

mp911de
authored and
christophstrobl
committed
Adopt to deprecation removals in Commons.

mp911de
authored and
christophstrobl
committed
Remove commons-logging exclusion.

mp911de
authored and
christophstrobl
committed
Prepare 5.0 M1 (2025.1.0).
christophstrobl
committed
Release version 5.0 M1 (2025.1.0).
christophstrobl
committed
Prepare next development iteration.
christophstrobl
committed
After release cleanups.
christophstrobl
committed

Commits on Apr 9, 2025

Retrieve MongoDB driver version reflectively.
mp911de
committed
Remove JMX support.
mp911de
committed
Prepare issue branch.

christophstrobl
authored and
mp911de
committed
Migrate to jspecify annotation - next fix the errors

christophstrobl
authored and
mp911de
committed
start fixing it

christophstrobl
authored and
mp911de
committed
tmp save - doh - srly

christophstrobl
authored and
mp911de
committed
tmp save

christophstrobl
authored and
mp911de
committed
polish some stuff

christophstrobl
authored and
mp911de
committed
Add a round of contract annotations

christophstrobl
authored and
mp911de
committed