The checker framework is also nice for helping with thread safety. https://checkerframework.org/ https://checkerframework.org/ its an extend type system for the

The checker framework is also nice for helping with thread safety. https://checkerframework.org/ https://checkerframework.org/ its an extend type system for the Java Language using annotated variables and methods. Its really nice and helped catch quite a few subtle bugs at low cost.