error-prone plugin: id changed to match id of the old plugin