DynamicJava: Major improvement to error messages involving method and constructor invocations. Refactored MethodFinder, etc., to work with lists of DJMethods rather than wrapping those in unnecessary invocation information. Bug fix for looking up static-imported methods -- instance methods with the same name could be matched as well, leading to a runtime crash.