a plugin which ensures nullness annotations on methods and constructors