NPE on navigation beyond final methods

[uweschaefer]

MF needs to detect final methods when trying to create an ad hoc proxy. problem is, we probably should not warn for just any final method, because maybe it never is called. on the other hand, once a method is called, it is too late.

open for suggestions here.

Kudos for finding this one go to R.Kuehne