idea 13.1 on laptop changed config