我在 Eclipse Photon 中将OpenJML安装为Eclipse Plugin（安装站点 http://jmlspecs.sourceforge.net/openjml-updatesite ），我的项目（但不是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