binary data in workspace.properties can cause a Malformed \uxxxx encoding exception and crash on startup

[adavies42]

open a binary file in studio, e.g. a zip file, then quit without saving, the relaunch studio

depending on the exact contents of the binary file, it may fail like this:

2026.01.12 16:46:37.815 [AWT-EventQueue-0] INFO  studio.core.Studio - Start Studio with args []
2026.01.12 16:46:40.520 [AWT-EventQueue-0] ERROR stderr - Exception in thread "AWT-EventQueue-0" java.lang.IllegalArgumentException: Malformed \uxxxx encoding.
2026.01.12 16:46:40.521 [AWT-EventQueue-0] ERROR stderr -   at java.base/java.util.Properties.loadConvert(Properties.java:678)
2026.01.12 16:46:40.521 [AWT-EventQueue-0] ERROR stderr -   at java.base/java.util.Properties.load0(Properties.java:455)
2026.01.12 16:46:40.522 [AWT-EventQueue-0] ERROR stderr -   at java.base/java.util.Properties.load(Properties.java:407)
2026.01.12 16:46:40.522 [AWT-EventQueue-0] ERROR stderr -   at studio.kdb.Config.loadWorkspace(Config.java:168)
2026.01.12 16:46:40.522 [AWT-EventQueue-0] ERROR stderr -   at studio.core.Studio.createPhappanel(Studio.java:53)
2026.01.12 16:46:40.522 [AWT-EventQueue-0] ERROR stderr -   at studio.core.Studio.init(Studio.java:211)
2026.01.12 16:46:40.523 [AWT-EventQueue-0] ERROR stderr -   at studio.core.Studio.lambda$main$0(Studio.java:115)
2026.01.12 16:46:40.523 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
2026.01.12 16:46:40.523 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770)
2026.01.12 16:46:40.523 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
2026.01.12 16:46:40.524 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715)
2026.01.12 16:46:40.524 [AWT-EventQueue-0] ERROR stderr -   at java.base/java.security.AccessController.doPrivileged(Native Method)
2026.01.12 16:46:40.524 [AWT-EventQueue-0] ERROR stderr -   at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
2026.01.12 16:46:40.524 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740)
2026.01.12 16:46:40.524 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
2026.01.12 16:46:40.525 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
2026.01.12 16:46:40.525 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
2026.01.12 16:46:40.525 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
2026.01.12 16:46:40.525 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
2026.01.12 16:46:40.525 [AWT-EventQueue-0] ERROR stderr -   at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)

i'm not sure what the correct fix is for this -- fix binary encoding of unsaved tabs? refuse to open files that don't match /\..$/?