Ошибка плагина JEdit при загрузке Изабель

Question

Я работаю с устройством Windows 10 и после некоторой работы с Изабель я получаю следующую ошибку:

Не удалось загрузить следующий плагин:

C: \ Users \ PC \ Desktop \ Isabelle2018 \ SRC \ Tools \ jEdit \ \ баночки расстояние \ Isabelle-jEdit.jar:

Невозможно начать:

*** [строка 1 «предпочтений»] ошибка: неверный ввод

Я отмечаю, что эта проблема появляется в этой версии и в предыдущей версии Windows 8 при неправильном выключении аппарата.

Answer 1

В списке Изабель я получила ответ на эту проблему:

Ошибка указывает, что файл $ ISABELLE_HOME_USER / etc / preferences находится в плохом состоянии: файл записывается каждый раз, когда Isabelle / jEdit завершает работу, и выключение компьютера в середине могло повредить его.

Вы можете попытаться восстановить или удалить этот файл. Расположение $ ISABELLE_HOME_USER в Windows обычно выглядит примерно так: C: \ Users \ my_name.isabelle \ Isabelle2018.

Я думаю, что с этой проблемой могут столкнуться другие люди в сообществе, и этот ответ может сэкономить им время.