Add code to more precisely compute helpful types, but leave it disabled for now until I test how much of an impact it has, including together with the also-disabled downcasting.
Add data on Eclipse methods/fields to the weights file.
Modify the pruning threshold so it is lower for uncommon methods so that we spend less time exploring them.
This seems to significantly decrease the search space in many cases.
Analyze public static final field usage and add a heuristic that avoids using them in places we didn't see in practice.  This seems to greatly improve performance on at least GUI-related benchmarks.
Fix the bug where non-special-cased pdspecs crash when using projects that do not link against codehint-lib.jar.