JBIDE-17050 - 2nd launched conflicting server cannot stop