made the plugin compatible with IDEA 13.1