Z/EVES Prover: XML Parsing Error

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

Z/EVES Prover: XML Parsing Error

Forum: Help

Creator: Ann Wood

Created: 2017-10-31

Updated: 2024-07-17

Ann Wood - 2017-10-31

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.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

André Silva - 2022-11-23

I'm facing the same problem. Any suggestion? Using Java 19 on Eclipse 2022.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

kunde wayne - 2024-07-17

@basketball stars When you click the refresh button in the "Theorems" view, the answer from the Z/EVES server is parsed, but you're still seeing an error message in Z/EVES Eclipse Prover.

Last edit: kunde wayne 2024-07-22

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: