У меня OpenJML установлен как Eclipse Плагин (установка сайта 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