KeyMaeraX not Loading

[umerhuzaifa]

Lately, I am seeing a pop up stating:

"A lock file exists but nothing is bound to the KeYmaera X web server's port. Deleting the lock file and starting KeYmaera X. If you experience errors, try killing all instances of KeYmaera X from your system's task manager."

On pressing okay, the progress bar hangs at 'Connecting to Arithmetic Tools' and never finishes. On checking the webpage https://127.0.0.1:8090 as well, nothing shows for KeYmaera X.

On checking the task manager, I only find Java Binary processes.

[umerhuzaifa]

Update: I am successful if I delete the folder .keymaerax from my home directory. But since it is created automatically on every run, this is a perpetual issue.

[umerhuzaifa]

Found this issue addressed in the startup issues.