dbos-inc/dbos-transact-java

AI Summary: The issue proposes adding `@Nullable` annotations to the library's public API to clearly indicate methods that may return null, and suggests extending this practice to the internal implementation. The user recommends adopting JSpecify for this purpose, citing its growing industry standard status and recent adoption by Spring 7.