Unhelpful Error Dialog for Parser Errors in standardRules

[Drodt]

Description

When KeY encounters an error in some of the standard .key files, e.g., javaRules.key, the error dialog does not show the problematic line but the rather useless [SOURCE COULD NOT BE LOADED]. The error stems from KeY being unable to load the text from the .jar.

Reproducible

always

Steps to reproduce

Describe the steps needed to reproduce the issue.

1. Create an error in javaRules.key. E.g., \endmodality to endm
2. Load a problem in KeY

What is your expected behavior and what was the actual behavior?

Expected: The dialog prints the error and the corresponding source in the .key file that might be the error.

Actual: Only the exception is shown. No helpful line number or even file name. No source.

Additional information

Add more details here. In particular: if you have a stacktrace, put it here.

---

• Commit: c0eca7725ce4b77aedcf2d35d26f5f5e08d845de