Comment #3 on issue 746 by anquetil...@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