<%@ taglib prefix="c" uri="http://java.sun.com/jsp/jstl/core" %>
<%
        // This method is marked as returning @Nullable
	Database db = DatabaseUtil.getDatabase (session);
%>
<c:choose>
<c:when test="<%= db == null %>">
	<h1>Oops, you lost your connection!<h1>
</c:when>
<c:otherwise>
<%
        // Do some DB work
        // Hey, we just checked that this wasn't null, how come it's now marked as maybe null?
        String test = db.getSomethingFromDB();
%>
</c:otherwise>
</c:choose>