Warning: Proof settings missing on first load

[Robert-Brune]

Description

Warning in log after "new" installation. Compare stack trace.

Reproducible

Always (reappears till first proof is closed / probably till proof strategy gets executed).

Steps to reproduce

Describe the steps needed to reproduce the issue.

1. mv ~.key ~.key-old
2. java -jar key-3.0.0-dev-exe.jar

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

Additional information

[15:12:33.058] WARN  ProofSettings - No proof-settings could be loaded, using defaultsjava.nio.file.NoSuchFileException: /Users/robert/.key/v3.0/proof-settings.json
	at java.base/sun.nio.fs.UnixException.translateToIOException(UnixException.java:92)
	at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:106)
	at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:111)
	at java.base/sun.nio.fs.UnixFileSystemProvider.newByteChannel(UnixFileSystemProvider.java:261)
	at java.base/java.nio.file.Files.newByteChannel(Files.java:380)
	at java.base/java.nio.file.Files.newByteChannel(Files.java:432)
	at java.base/java.nio.file.spi.FileSystemProvider.newInputStream(FileSystemProvider.java:420)
	at java.base/java.nio.file.Files.newInputStream(Files.java:160)
	at java.base/java.nio.file.Files.newBufferedReader(Files.java:2910)
	at de.uka.ilkd.key.settings.ProofSettings.loadSettings(ProofSettings.java:223)
	at de.uka.ilkd.key.settings.ProofSettings.loadedSettings(ProofSettings.java:63)
	at de.uka.ilkd.key.settings.ProofSettings.<clinit>(ProofSettings.java:58)
	at de.uka.ilkd.key.gui.settings.TacletOptionsSettings.<init>(TacletOptionsSettings.java:59)
	at de.uka.ilkd.key.gui.settings.SettingsManager.<clinit>(SettingsManager.java:38)
	at de.uka.ilkd.key.gui.MainWindow.createOptionsMenu(MainWindow.java:1139)
	at de.uka.ilkd.key.gui.MainWindow.createMenuBar(MainWindow.java:973)
	at de.uka.ilkd.key.gui.MainWindow.layoutMain(MainWindow.java:595)
	at de.uka.ilkd.key.gui.MainWindow.<init>(MainWindow.java:355)
	at de.uka.ilkd.key.gui.MainWindow.getInstance(MainWindow.java:439)
	at de.uka.ilkd.key.gui.MainWindow.getInstance(MainWindow.java:413)
	at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:308)
	at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:720)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:714)
	at java.base/java.security.AccessController.doPrivileged(AccessController.java:400)
	at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:87)
	at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742)
	at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
	at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)

---

• Commit: 359625f