Cannot slice proofs with filename matching .+slice[^0-9].+

[FliegendeWurst]

Description

See title

Reproducible

always

Steps to reproduce

1. Load a proof with filename e.g. x_sliced.proof
2. Try to slice it

Expected: works
Actual: doesn't

Additional information

Error message:

[15:15:32.672] ERROR SlicingLeftPanel - failed to slice proof java.lang.NumberFormatException: For input string: "d"
	at java.base/java.lang.NumberFormatException.forInputString(NumberFormatException.java:67)
	at java.base/java.lang.Integer.parseInt(Integer.java:668)
	at java.base/java.lang.Integer.parseInt(Integer.java:786)
	at org.key_project.slicing.SlicingProofReplayer.saveProof(SlicingProofReplayer.java:240)
	at org.key_project.slicing.SlicingProofReplayer.slice(SlicingProofReplayer.java:215)
	at org.key_project.slicing.ui.SlicingLeftPanel.lambda$sliceProof$8(SlicingLeftPanel.java:441)
	at org.key_project.slicing.util.GenericWorker.doInBackground(GenericWorker.java:48)
	at org.key_project.slicing.util.GenericWorker.doInBackground(GenericWorker.java:16)

• Commit: doesn't matter