import java
import semmle.code.java.dataflow.ExternalFlow::ModelValidation