finally working solution for refinement of overloaded methods inherited
from distinct Java supertypes
refactor and fix bogus error when refining java overload inherited from
multiple supertypes