Fix server starting

Implement a workaround for bug JBIDE-18366