Example of a javac plugin that finds the following pattern: expr.get(key) == null // where expr is a subtype of “java.util.Map”