#KJ-92 Document java method invocation logic in the semantics. Documented up to Invoke-methodInfo(), all cases.
#KJ-92 Document java method invocation logic in the semantics. Slightly modified the arguments list of lookupPackageMethod()
#KJ-92 Document java method invocation logic in the semantics.
1. Documented up to lookupPackageMethod().
2. Simplified some rules. Eliminated the cell <return> and <methodReturnType> (execution only). Since return type conversion is implemented by a cast when we exit the method, <return> logic is no longer necessary.