Plugin which tells one source of the variable used for
setSecurityManager