Comment #3 on issue 746 by anquetil...(a)gmail.com: VerveineJ should create
parameters for methods with different signatures
http://code.google.com/p/moose-technology/issues/detail?id=746
I ran VerveineJ on the code example you gave.
First one needs to add ";" at the end of the 2 printStackTrace(...)
This done, 2 stub FAMIX.Methods are created, with the right signature ...
So I could not reproduce the problem with this example