Is this still an issue with the advent of Optional in Java 8? It an be used in many places to convey "nullability" of an element. Plus, @Nullable seems not actionable for a BV implementation (it would never raise a constraint violation, as the element may be null or not), so I am tempted to close this one. Any thoughts, Emmanuel Bernard?