Switch to idea 13