- The precision of virtual dispatch has been improved. This increases precision in general for all data flow queries.
- Support for Eclipse Compiler for Java (ecj) has been fixed to work with (a) runs that don't pass
-noExitand (b) runs that use post-Java-9 command-line arguments.