Hacks to make it work with idea 12