Proof management tool resets KeY settings

[FliegendeWurst]

Description

Running the proof management tool via gradle keyext.proofmanagement:run resets KeY settings (enabled extensions, file picker favorites, etc.)

Reproducible

sometimes

Steps to reproduce

1. Run KeY normally (e.g. gradle key.ui:run)
2. Change some settings, e.g. deactivate the javac extension
3. Stop KeY
4. Run the PM tool
5. Start KeY again

expected behavior: settings are preserved
actual behavior: settings are wiped

Additional information

---

• Commit: 9d0379c

cc @WolframPfeifer