Issues with “Magic Constant” Inspection in Teamcity run

Hi,

An issue was encountered after upgrading Teamcity to 8.0.3, which bundles Idea 12. The inspection in queston (described here: http://blog.jetbrains.com/idea/2012/02/new-magic-constant-inspection/) works well in Idea, where jdkAnnotations.jar was indeed automatically added to all project SDKs. On Teamcity, however, this inspection reports as such:

No IDEA annotations attached to the JDK F1 (/opt/Java/jdk-1.7-linux-64), some issues will not be found

So far, we failed to find a way of fixing this. In "Inspections (IntelliJ IDEA)" runner that we use, there is a way to parse project for all SDKs it requres, and then to set them up with "JDK Jar Files Patterns". There is no property for attached annotations, though, and they are abviously not supplied automatically.

Any advice will be appreciated :)