Javadoc/@NotNull Hlint.java.