Ошибка "Поиск внутренних спецификаций" с плагином OpenJML в Eclipse
У меня OpenJML установлен как Eclipse Plugin (установить сайт http://jmlspecs.sourceforge.net/openjml-updatesite) в Eclipse Photon, мой проект (но не сам Eclipse) использует OpenJDK 1.8
Тем не менее я получаю эту ошибку, и я не могу найти, почему:
Failure finding internal specs: java.net.URISyntaxException: Illegal character in path at index 16: file:/D:/Eclipse Photon Tmp Play With/eclipse/configuration/org.eclipse.osgi/1106/0/.cp/
Failure finding internal specs: java.net.URISyntaxException: Illegal character in path at index 16: file:/D:/Eclipse Photon Tmp Play With/eclipse/configuration/org.eclipse.osgi/1106/0/.cp/
[0,00] Executing openjml on My.java
[0,04] Completed