flash builder 4.7 as plugin won't display asdoc

Hi,

on windows 7 x64, I just installed Flash Builder 4.7 x64 on my existing eclipse 4.2 x64 (using "the Adobe Flash Builder 4.7 Plug-in Utility") and the asdoc popup won't display anything but the current element. If I start the standalone Flash Builder, using the same workspace and same project, it works fine. Do I need to configure something else so it works as a plugin?