Ann Wood posted a comment on discussion Help

Hi, I am getting an error on clicking the refresh button in "Theorems" view (Z/EVES Eclipse Prover). Error: "Refreshing Z/EVES theorems has encountered a problem. Problems parsing Z/EVES response XML: com.sun.xml.bind.v2.ContextFactory". Kindly help me in resolving this issue.