java. Invocation.toString, #131.