Faster and More Complete Extended Static Checking for the Java Modeling Language