update to latest IDEA annotations