JavaHelper: use stub-aware hasModifierProperty()