I have a problem with IDE or EduTools plugin, what should I do?