List を返すメソッドにおいて null を返さないことを保証したいと考えています。 実装上は null ではなく Collections.emptyList() を返すだけですが、null を返さないことをアノテーションで表現することは可能でしょうか。

IDE との何らかの連携があるとより良いのですが、自分の観測範囲ではわかりませんでした。