Note: this is unrelated to the other crash report I posted today that was a launcher issue this is mc issue.

if having older versions in the same directory wasn't officially supported mojang would have said you can only play current versions they didn't this is a valid issue that is one maybe two lines of code to fix for future versions.

Steps to reproduce:
1. run mc >= 1.9
2. run < 1.5.2
3. get crash https://pastebin.com/MwgSp1fY

Necessary Enhancement to fix the incompatibility between the two formats is one of the fallowing options:
A: keep the old format and write the newer options to the end of the file now
B: rename the newer options to "options_new.txt" for versions >= 1.13
C: keep the option.txt per profile