$ 0 0 Version 0.7.3 of the P4 plugin for IDEA community edition is now available. It includes several bug fixes related to annotations.