options.txt resets to default

Bug: options.txt resets to default settings after forced Java process termination or system shutdown.
Description: If the Java process is forcibly terminated while Minecraft is running, or if the system is forcibly shut down, the options.txt file will be reset to default settings.