Use jetbrains' annotations