added idea plugin version 0.13.4