Engineering NullAway, Uber’s Open Source Tool for Detecting NPEs