Warning can not be suppressed / configured

[stephan]

This warning

Dangerous instantitation. To avoid a WrongRoleException at runtime role {0} should be used instead (OTJLD 2.4.3).

can neither be suppressed (with @SuppressWarnings) nor configured (batch compiler option -warn and compiler preference page).

[stephan]

Fixed in r18240:

• introduced a new warning token "roleinstantiation", which subsumes the above warning (re OTJLD §2.4.3) and the old token "lifting" (re OTJLD §2.4.1(c)).

Note, that this may require updates in existing code that uses @SuppressWarnings("lifting") and may also effect project preferences that contain a non-default value for this diagnostic.