PFA a minor patch for sqleditor. When you disconnect the server with an open sqleditor tab, exception occurs at the back end. Also, after connecting server, the sqleditor is not able to connect back because of the exception. The patch is to handle it.
Kindly review.
Thanks and Regards,
Aditya Toshniwal
Software Engineer | EnterpriseDB Software Solutions | Pune