The Refdoc still has a JSR 305 reference that is not related the migration to JSpecify.