Idea 13 compatibility fixes